From 0618b81c0716002966b61f07324b552c542face6 Mon Sep 17 00:00:00 2001
From: Andrew Dolgov <fox@madoka.volgo-balt.ru>
Date: Thu, 30 Sep 2010 17:03:02 +0400
Subject: [PATCH] daemon: less gentle child unstucking

---
 update_daemon2.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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