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

diff --git a/update_daemon2.php b/update_daemon2.php
index 62bd7591a40a759ee85047809f7c16bdbfda03d3..80848bd0a4307d94a9d73e07a0d98f70b4268a8c 100755 (executable)
--- 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.");