Improved support for zend-signals.

This commit is contained in:
Dmitry Stogov 2016-06-20 22:18:46 +03:00
parent 4943f0bcff
commit 7cc1b00163
2 changed files with 3 additions and 0 deletions

View file

@ -2066,6 +2066,7 @@ consult the installation file that came with this distribution, or visit \n\
sigaction(SIGTERM, &old_term, 0);
sigaction(SIGQUIT, &old_quit, 0);
sigaction(SIGINT, &old_int, 0);
zend_signal_init();
break;
case -1:
perror("php (pre-forking)");
@ -2105,6 +2106,7 @@ consult the installation file that came with this distribution, or visit \n\
}
} else {
parent = 0;
zend_signal_init();
}
#else

View file

@ -2548,6 +2548,7 @@ int do_cli_server(int argc, char **argv) /* {{{ */
#if defined(HAVE_SIGNAL_H) && defined(SIGINT)
signal(SIGINT, php_cli_server_sigint_handler);
zend_signal_init();
#endif
php_cli_server_do_event_loop(&server);
php_cli_server_dtor(&server);