protected function sigunknown($signo) { if (isset(Generic::$signals[$signo])) { $sig = Generic::$signals[$signo]; } else { $sig = 'UNKNOWN'; } $this->log('Caught signal #' . $signo . ' (' . $sig . ').'); }