Do not execute anything after quit or clean command

diff --git a/sapi/phpdbg/phpdbg_prompt.c b/sapi/phpdbg/phpdbg_prompt.c
index fd4af2c3cd70d4fff50cb50f61b2fbeec52dde57..5e2cc03d5020b1d70afbf10a0ceca36115bc6563 100644 (file)
--- a/sapi/phpdbg/phpdbg_prompt.c
+++ b/sapi/phpdbg/phpdbg_prompt.c
@@ -1438,6 +1438,10 @@ void phpdbg_execute_ex(zend_op_array *op_array TSRMLS_DC) /* {{{ */
        }
 #endif
 
+       if ((PHPDBG_G(flags) & (PHPDBG_IS_STOPPING | PHPDBG_IS_RUNNING)) == PHPDBG_IS_STOPPING) {
+               zend_bailout();
+       }
+
        EG(in_execution) = 1;
 
 #if PHP_VERSION_ID >= 50500