PHP Octave_pool::deadChild Exemples

Exemple #1

Fichier : Octave_daemon.php Projet : gutza/octave-daemon

 public static function manageDeadPID($pid)
 {
     unset(self::$child_pids[$pid]);
     Octave_pool::deadChild($pid);
 }