diff options
author | Andrew Dolgov <[email protected]> | 2012-01-11 15:14:44 +0400 |
---|---|---|
committer | Andrew Dolgov <[email protected]> | 2012-01-11 15:14:44 +0400 |
commit | 125ab8dbf7387bf57f0c3285fc3e7a8ce2013aaa (patch) | |
tree | cb99a092ac067161b56187035e81e333cfa69123 | |
parent | a3e0bdcffc757bd196de7e43bd9aa9cf8ca32626 (diff) |
daemon: assume child is dead if its lockfile is unlocked (refs #417)
-rwxr-xr-x | update_daemon2.php | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/update_daemon2.php b/update_daemon2.php index 62bd7591a..80848bd0a 100755 --- 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."); |