diff options
author | krakjoe <joe.watkins@live.co.uk> | 2013-12-01 08:55:37 +0000 |
---|---|---|
committer | krakjoe <joe.watkins@live.co.uk> | 2013-12-01 08:55:37 +0000 |
commit | d76e24b2db94472f11cf8cdc50ffd4c4ed520d4b (patch) | |
tree | 7904a4d799e134feb39cfd76a926f75d4a8c730c | |
parent | 2c216ec64890be6b5cb76832b16e739ce935d29f (diff) | |
download | php-git-d76e24b2db94472f11cf8cdc50ffd4c4ed520d4b.tar.gz |
fix windows build
-rw-r--r-- | phpdbg.c | 8 |
1 files changed, 8 insertions, 0 deletions
@@ -942,17 +942,25 @@ phpdbg_main: /* do not install sigint handlers for remote consoles */ /* sending SIGINT then provides a decent way of shutting down the server */ #ifdef ZEND_SIGNALS +# ifndef _WIN32 if (listen[0] < 0) { +# endif zend_try { zend_signal_activate(TSRMLS_C); zend_signal(SIGINT, phpdbg_sigint_handler TSRMLS_CC); } zend_end_try(); +# ifndef _WIN32 } +# endif #else +# ifndef _WIN32 if (listen[0] < 0) { +# endif signal(SIGINT, phpdbg_sigint_handler); +#ifndef _WIN32 } #endif +#endif PG(modules_activated) = 0; |