From c4fec4ba4cabcbc159ecc687f13c36aa0f2ba59b Mon Sep 17 00:00:00 2001 From: Matthias Wachs Date: Wed, 30 Jun 2010 11:42:46 +0000 Subject: [PATCH] --- contrib/timeout_watchdog.c | 1 + 1 file changed, 1 insertion(+) 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); } -- 2.25.1