php-seld-signal-handler