1
0
mirror of https://github.com/php/php-src.git synced 2026-03-31 04:32:19 +02:00

- Fix memory leak on exit

This commit is contained in:
Felipe Pena
2013-11-24 18:01:14 -02:00
parent fb88d79cfb
commit 7371142ca6

View File

@@ -856,6 +856,8 @@ PHPDBG_COMMAND(quit) /* {{{ */
/* don't allow this to loop, ever ... */
if (!(PHPDBG_G(flags) & PHPDBG_IS_QUITTING)) {
phpdbg_destroy_input(&input TSRMLS_CC);
PHPDBG_G(flags) |= PHPDBG_IS_QUITTING;
zend_bailout();
}