diff options
| author | Bob Weinand <bobwei9@hotmail.com> | 2014-10-26 23:33:54 +0100 |
|---|---|---|
| committer | Bob Weinand <bobwei9@hotmail.com> | 2014-10-27 00:00:19 +0100 |
| commit | 50756b515c76bb9c43a01bfce03207906f596005 (patch) | |
| tree | a79ab4155296e72f1a2750dcf3eae9f7a87b1394 /sapi/phpdbg/phpdbg_prompt.c | |
| parent | 190f4f9f18643a306fab7a71b625bf01168b0093 (diff) | |
| download | php-git-50756b515c76bb9c43a01bfce03207906f596005.tar.gz | |
Do not execute anything after quit or clean command
Diffstat (limited to 'sapi/phpdbg/phpdbg_prompt.c')
| -rw-r--r-- | sapi/phpdbg/phpdbg_prompt.c | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/sapi/phpdbg/phpdbg_prompt.c b/sapi/phpdbg/phpdbg_prompt.c index fd4af2c3cd..5e2cc03d50 100644 --- 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 |