From 582b44420cd908b78342aa01ba96c6f8cc64dccc Mon Sep 17 00:00:00 2001 From: Matthias Wachs Date: Mon, 12 Jul 2010 09:10:12 +0000 Subject: --- contrib/timeout_watchdog.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/contrib/timeout_watchdog.c b/contrib/timeout_watchdog.c index b31c4e6cf..d257d04de 100644 --- a/contrib/timeout_watchdog.c +++ b/contrib/timeout_watchdog.c @@ -98,7 +98,7 @@ if (child > 0) { sleep(timeout); printf("Child processes were killed after timeout of %u seconds\n",timeout); - kill(0,SIGABRT); + kill(0,SIGTERM); exit(1); } exit(1); -- cgit v1.2.3