daemon: assume child is dead if its lockfile is unlocked (refs #417)

2012-01-11 15:14:44 +04:00 · 2012-01-11 15:14:44 +04:00 · 125ab8dbf7
parent a3e0bdcffc
commit 125ab8dbf7
1 changed files with 2 additions and 0 deletions
--- a/update_daemon2.php
+++ b/update_daemon2.php
@ -53,6 +53,8 @@
 					array_push($tmp, $pid);
 				} else {
 					_debug("[reap_children] child $pid seems active but lockfile is unlocked.");
+					unset($ctimes[$pid]);
+
 				}
 			} else {
 				_debug("[reap_children] child $pid reaped.");