diff options
Diffstat (limited to 'update_daemon2.php')
| -rwxr-xr-x | update_daemon2.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/update_daemon2.php b/update_daemon2.php index ce6a3ee9c..053a73d7d 100755 --- a/update_daemon2.php +++ b/update_daemon2.php @@ -73,7 +73,7 @@ if (time() - $started > MAX_CHILD_RUNTIME) { _debug("[MASTER] child process $pid seems to be stuck, aborting..."); - posix_kill($pid, SIGINT); + posix_kill($pid, SIGKILL); } } } |