From: Dmitry Stogov <dmitry@zend.com>
Date: Fri, 24 Jun 2016 16:32:24 +0000 (+0300)
Subject: Fallback to kill() if raise() doesn't work
X-Git-Tag: php-7.1.0alpha3~89
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=a485ae287158eb320ae528363d0b52c15124f710;p=php

Fallback to kill() if raise() doesn't work
---

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);