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

fix crash when .phpdbginit quits

Browse Source
This commit is contained in:
krakjoe
2013-11-14 17:03:36 +00:00
parent 5147c87f2c
commit 6b864a8b0f
1 changed files with 7 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
phpdbg.c
View File

@@ -494,7 +494,13 @@ phpdbg_main:
} zend_end_try();
/* initialize from file */
phpdbg_init(init_file, init_file_len, init_file_default TSRMLS_CC);
zend_try {
phpdbg_init(init_file, init_file_len, init_file_default TSRMLS_CC);
} zend_catch {
if (PHPDBG_G(flags) & PHPDBG_IS_QUITTING) {
goto phpdbg_out;
}
} zend_end_try();
/* print blurb */
phpdbg_welcome(cleaning TSRMLS_CC);