Browse Source

Merge branch 'master' of https://github.com/krakjoe/phpdbg

pull/550/head
krakjoe 13 years ago
parent
commit
de61c0c28a
  1. 2
      phpdbg_prompt.c

2
phpdbg_prompt.c

@ -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();
}

Loading…
Cancel
Save