daemon: less gentle child unstucking

14 years ago · 0618b81c07
parent a5ff2e7725
commit 0618b81c07
1 changed files with 1 additions and 1 deletions
--- 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);
 			}
 		}
 	}