+ function check_ctimes() {
+ global $ctimes;
+
+ foreach (array_keys($ctimes) as $pid) {
+ $started = $ctimes[$pid];
+
+ if (time() - $started > MAX_CHILD_RUNTIME) {
+ _debug("[MASTER] child process $pid seems to be stuck, aborting...");
+ posix_kill($pid, SIGINT);
+ }
+ }