diff --git a/update_daemon2.php b/update_daemon2.php index ce6a3ee9c33d63f518980e008f8f8a78a0ad10cf..053a73d7d7a399f958f417e07a3fd74a4b423ee8 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); } } }