daemon: less gentle child unstucking

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