equal
deleted
inserted
replaced
82 |
82 |
83 // signal handler |
83 // signal handler |
84 function sigterm($signal) |
84 function sigterm($signal) |
85 { |
85 { |
86 global $httpd; |
86 global $httpd; |
87 status("Caught SIGTERM, cleaning up."); |
87 if ( !defined('HTTPD_WS_CHILD') ) |
|
88 status("Caught SIGTERM, cleaning up."); |
|
89 |
88 exit(0); |
90 exit(0); |
89 } |
91 } |
90 |
92 |
91 status('doing PHP capabilities check'); |
93 status('doing PHP capabilities check'); |
92 if ( !function_exists('pcntl_signal') ) |
94 if ( !function_exists('pcntl_signal') ) |