diff options
author | Andrew Dolgov <[email protected]> | 2010-09-30 17:03:02 +0400 |
---|---|---|
committer | Andrew Dolgov <[email protected]> | 2010-09-30 17:03:02 +0400 |
commit | 0618b81c0716002966b61f07324b552c542face6 (patch) | |
tree | dca60f881284a894ee6c1ad91393f6a3c2ef5cb4 | |
parent | a5ff2e77257f6884896a40c9d3303b768c49302f (diff) |
daemon: less gentle child unstucking
-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); } } } |