| @@ 353-362 (lines=10) @@ | ||
| 350 | * Handler of non-known signals. |
|
| 351 | * @return void |
|
| 352 | */ |
|
| 353 | public function sigunknown($signo) { |
|
| 354 | if (isset(Generic::$signals[$signo])) { |
|
| 355 | $sig = Generic::$signals[$signo]; |
|
| 356 | } |
|
| 357 | else { |
|
| 358 | $sig = 'UNKNOWN'; |
|
| 359 | } |
|
| 360 | ||
| 361 | $this->log('caught signal #' . $signo . ' (' . $sig . ').'); |
|
| 362 | } |
|
| 363 | } |
|
| 364 | ||
| @@ 770-779 (lines=10) @@ | ||
| 767 | * Handler of non-known signals. |
|
| 768 | * @return void |
|
| 769 | */ |
|
| 770 | protected function sigunknown($signo) { |
|
| 771 | if (isset(Generic::$signals[$signo])) { |
|
| 772 | $sig = Generic::$signals[$signo]; |
|
| 773 | } |
|
| 774 | else { |
|
| 775 | $sig = 'UNKNOWN'; |
|
| 776 | } |
|
| 777 | ||
| 778 | $this->log('caught signal #' . $signo . ' (' . $sig . ').'); |
|
| 779 | } |
|
| 780 | ||
| 781 | /** |
|
| 782 | * Called (in master) when process is terminated |
|
| @@ 473-481 (lines=9) @@ | ||
| 470 | * Handler for non-known signals |
|
| 471 | * @return void |
|
| 472 | */ |
|
| 473 | protected function sigunknown($signo) { |
|
| 474 | if (isset(Generic::$signals[$signo])) { |
|
| 475 | $sig = Generic::$signals[$signo]; |
|
| 476 | } |
|
| 477 | else { |
|
| 478 | $sig = 'UNKNOWN'; |
|
| 479 | } |
|
| 480 | $this->log('Caught signal #' . $signo . ' (' . $sig . ').'); |
|
| 481 | } |
|
| 482 | } |
|
| 483 | ||