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

diff --git a/Zend/zend_signal.c b/Zend/zend_signal.c
index 95c46584770dcc8896fd162c995fb4acc60627df..1d8baaf0f529dae514056447b2c30bbc1b4ba690 100644 (file)
--- 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);