Exemplo n.º 1
0
 public static function manageDeadPID($pid)
 {
     unset(self::$child_pids[$pid]);
     Octave_pool::deadChild($pid);
 }