From a485ae287158eb320ae528363d0b52c15124f710 Mon Sep 17 00:00:00 2001 From: Dmitry Stogov Date: Fri, 24 Jun 2016 19:32:24 +0300 Subject: Fallback to kill() if raise() doesn't work --- Zend/zend_signal.c | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) (limited to 'Zend/zend_signal.c') diff --git a/Zend/zend_signal.c b/Zend/zend_signal.c index 95c4658477..1d8baaf0f5 100644 --- a/Zend/zend_signal.c +++ b/Zend/zend_signal.c @@ -191,8 +191,7 @@ static void zend_signal_handler(int signo, siginfo_t *siginfo, void *context) # define RAISE_ERROR "raise() failed\n" if (raise(signo) != 0) { /* On some systems raise() fails with errno 3: No such process */ - write(2, RAISE_ERROR, sizeof(RAISE_ERROR)-1); - _exit(1); + kill(getpid(), signo); } #else kill(getpid(), signo); -- cgit v1.2.1