diff options
| author | Matthias Wachs <wachs@net.in.tum.de> | 2010-07-12 09:10:12 +0000 |
|---|---|---|
| committer | Matthias Wachs <wachs@net.in.tum.de> | 2010-07-12 09:10:12 +0000 |
| commit | 582b44420cd908b78342aa01ba96c6f8cc64dccc (patch) | |
| tree | 5c25db65c321fad32c069cd35b5a80e59f080cdc /contrib | |
| parent | 0121f630cdf0b7e79f2664e2a6a2f8005e1feb88 (diff) | |
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) { sleep(timeout); printf("Child processes were killed after timeout of %u seconds\n",timeout); - kill(0,SIGABRT); + kill(0,SIGTERM); exit(1); } exit(1); |