diff options
| author | Joe Watkins <krakjoe@php.net> | 2017-02-27 17:54:48 +0000 |
|---|---|---|
| committer | Joe Watkins <krakjoe@php.net> | 2017-02-27 17:54:48 +0000 |
| commit | 008fb28eafa3740b1e3696b1a5cf7566d493b97d (patch) | |
| tree | 5872f7dbc44db278889f216b6abc011ba43f5a46 | |
| parent | bbfa1b64192fe3ccd2898e6e1f997387b4f210d1 (diff) | |
| download | php-git-008fb28eafa3740b1e3696b1a5cf7566d493b97d.tar.gz | |
fix crash in phpdbg shutdown process when opcache is loaded
| -rw-r--r-- | sapi/phpdbg/phpdbg.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/sapi/phpdbg/phpdbg.c b/sapi/phpdbg/phpdbg.c index c4078856d6..37314e6183 100644 --- a/sapi/phpdbg/phpdbg.c +++ b/sapi/phpdbg/phpdbg.c @@ -228,7 +228,6 @@ static PHP_RSHUTDOWN_FUNCTION(phpdbg) /* {{{ */ zend_hash_destroy(&PHPDBG_G(bp)[PHPDBG_BREAK_METHOD]); zend_hash_destroy(&PHPDBG_G(bp)[PHPDBG_BREAK_COND]); zend_hash_destroy(&PHPDBG_G(bp)[PHPDBG_BREAK_MAP]); - zend_hash_destroy(&PHPDBG_G(file_sources)); zend_hash_destroy(&PHPDBG_G(seek)); zend_hash_destroy(&PHPDBG_G(registered)); zend_hash_destroy(&PHPDBG_G(watchpoints)); @@ -2137,6 +2136,8 @@ phpdbg_out: wrapper->wops->stream_opener = PHPDBG_G(orig_url_wrap_php); } + zend_hash_destroy(&PHPDBG_G(file_sources)); + zend_try { php_module_shutdown(); } zend_end_try(); |