diff options
| author | Dmitry Stogov <dmitry@zend.com> | 2016-06-20 22:18:46 +0300 |
|---|---|---|
| committer | Dmitry Stogov <dmitry@zend.com> | 2016-06-20 22:41:14 +0300 |
| commit | 7cc1b0016301d713d6566cf3ee77a8b27e41abb5 (patch) | |
| tree | daa9d8231c7a58d6d9d0b9240804e71a18b2cb0a /sapi/cli/php_cli_server.c | |
| parent | 4943f0bcffc9fda56bcfc7df0a946b03c721f69f (diff) | |
| download | php-git-7cc1b0016301d713d6566cf3ee77a8b27e41abb5.tar.gz | |
Improved support for zend-signals.
Diffstat (limited to 'sapi/cli/php_cli_server.c')
| -rw-r--r-- | sapi/cli/php_cli_server.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/sapi/cli/php_cli_server.c b/sapi/cli/php_cli_server.c index a9d4a533b3..650f488752 100644 --- a/sapi/cli/php_cli_server.c +++ b/sapi/cli/php_cli_server.c @@ -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); |