1 files changed, 1 insertions, 0 deletions

diff --git a/contrib/timeout_watchdog.c b/contrib/timeout_watchdog.c
index 83f751fb0..4f246245b 100644
--- 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);
 }