diff options
author | krakjoe <joe.watkins@live.co.uk> | 2013-11-29 02:42:34 +0000 |
---|---|---|
committer | krakjoe <joe.watkins@live.co.uk> | 2013-11-29 02:42:34 +0000 |
commit | f822764129e148bcca00a354b9ad68eea598b834 (patch) | |
tree | 38744aa7e9af61bd87798fe5d383c2b2b547b4c5 | |
parent | 734fe5508a96868a3e6c03c323f5fb436dc91aa0 (diff) | |
download | php-git-f822764129e148bcca00a354b9ad68eea598b834.tar.gz |
always unset unclean_shutdown
-rw-r--r-- | phpdbg.c | 8 |
1 files changed, 6 insertions, 2 deletions
@@ -1046,9 +1046,10 @@ phpdbg_interact: /* set streams */ if (streams[0] && streams[1]) { PHPDBG_G(flags) &= ~PHPDBG_IS_QUITTING; - - CG(unclean_shutdown) = 0; } + + /* this must be forced */ + CG(unclean_shutdown) = 0; } #endif if (PHPDBG_G(flags) & PHPDBG_IS_QUITTING) { @@ -1057,6 +1058,9 @@ phpdbg_interact: } zend_end_try(); } while(!(PHPDBG_G(flags) & PHPDBG_IS_QUITTING)); + /* this must be forced */ + CG(unclean_shutdown) = 0; + phpdbg_out: #ifndef _WIN32 if (PHPDBG_G(flags) & PHPDBG_IS_DISCONNECTED) { |