(no commit message)

diff --git a/contrib/timeout_watchdog.c b/contrib/timeout_watchdog.c
index 83f751fb0f18a16bcdbc785ef5cbc92925424d1b..4f246245b061399429a477d2200e654f915273a4 100644 (file)
--- a/contrib/timeout_watchdog.c
+++ b/contrib/timeout_watchdog.c
@@ -97,6 +97,7 @@ if (child==0)
 if (child > 0)
 {
   sleep(timeout);
+  printf("Child processes were killed after timeout of %u seconds\n",timeout);
   kill(0,SIGABRT);
   exit(1);
 }