]> granicus.if.org Git - php/commitdiff
fix sigint when executing
authorkrakjoe <joe.watkins@live.co.uk>
Sat, 23 Nov 2013 17:09:52 +0000 (17:09 +0000)
committerkrakjoe <joe.watkins@live.co.uk>
Sat, 23 Nov 2013 17:09:52 +0000 (17:09 +0000)
phpdbg_prompt.c

index 0e7572ba21c50387cf025e4c061f23ff325764cb..8a6ec927de5e7853590acec15b9a46e0412cc832 100644 (file)
@@ -549,8 +549,10 @@ PHPDBG_COMMAND(run) /* {{{ */
 
                zend_try {
                        php_output_activate(TSRMLS_C);
+                       PHPDBG_G(flags) ^= PHPDBG_IS_INTERACTIVE;
                        zend_execute(
                            EG(active_op_array) TSRMLS_CC);
+                       PHPDBG_G(flags) ^= PHPDBG_IS_INTERACTIVE;
                        php_output_deactivate(TSRMLS_C);
                } zend_catch {
                    EG(active_op_array) = orig_op_array;