diff options
-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."); |