diff options
Diffstat (limited to 'src/daemon/cpulimit.c')
| -rw-r--r-- | src/daemon/cpulimit.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/daemon/cpulimit.c b/src/daemon/cpulimit.c index b77dd443..620a93a6 100644 --- a/src/daemon/cpulimit.c +++ b/src/daemon/cpulimit.c @@ -151,7 +151,7 @@ static void signal_handler(int sig) { } else if (phase == PHASE_SOFT) { write_err("Hard CPU time limit exhausted, terminating forcibly.\n"); - _exit(1); /* Forced exit */ + abort(); /* Forced exit */ } errno = saved_errno; |