mirror of
https://github.com/php/php-src.git
synced 2025-08-16 14:08:47 +02:00
Do not execute anything after quit or clean command
This commit is contained in:
parent
190f4f9f18
commit
50756b515c
1 changed files with 4 additions and 0 deletions
|
@ -1438,6 +1438,10 @@ void phpdbg_execute_ex(zend_op_array *op_array TSRMLS_DC) /* {{{ */
|
||||||
}
|
}
|
||||||
#endif
|
#endif
|
||||||
|
|
||||||
|
if ((PHPDBG_G(flags) & (PHPDBG_IS_STOPPING | PHPDBG_IS_RUNNING)) == PHPDBG_IS_STOPPING) {
|
||||||
|
zend_bailout();
|
||||||
|
}
|
||||||
|
|
||||||
EG(in_execution) = 1;
|
EG(in_execution) = 1;
|
||||||
|
|
||||||
#if PHP_VERSION_ID >= 50500
|
#if PHP_VERSION_ID >= 50500
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue