php/archived-php-src
1
0
Fork 0
mirror of https://github.com/php/php-src.git synced 2026-04-05 23:23:03 +02:00
Code Issues Packages Projects Releases Wiki Activity

Do not execute anything after quit or clean command

Browse Source
This commit is contained in:
Bob Weinand
2014-10-26 23:33:54 +01:00
parent 29edee4e70
commit f4748ff9ff
1 changed files with 4 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
phpdbg_prompt.c
View File

@@ -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