diff options
Diffstat (limited to 'contrib')
-rw-r--r-- | contrib/timeout_watchdog.c | 2 |
1 files changed, 1 insertions, 1 deletions
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) | |||
98 | { | 98 | { |
99 | sleep(timeout); | 99 | sleep(timeout); |
100 | printf("Child processes were killed after timeout of %u seconds\n",timeout); | 100 | printf("Child processes were killed after timeout of %u seconds\n",timeout); |
101 | kill(0,SIGABRT); | 101 | kill(0,SIGTERM); |
102 | exit(1); | 102 | exit(1); |
103 | } | 103 | } |
104 | exit(1); | 104 | exit(1); |