]> granicus.if.org Git - php/commitdiff
fix quit not working
authorkrakjoe <joe.watkins@live.co.uk>
Thu, 14 Nov 2013 12:21:28 +0000 (12:21 +0000)
committerkrakjoe <joe.watkins@live.co.uk>
Thu, 14 Nov 2013 12:21:28 +0000 (12:21 +0000)
phpdbg.c

index 35b1075183a6b3476dc39116fa229657b49b1495..4accf2fa4a07a4888c71133ec5fc009bf12dc39b 100644 (file)
--- a/phpdbg.c
+++ b/phpdbg.c
@@ -486,11 +486,17 @@ phpdbg_main:
                    } zend_catch {
                 if ((PHPDBG_G(flags) & PHPDBG_IS_CLEANING)) {
                     cleaning = 1;
-                    break;
+                    goto phpdbg_out;
                 } else cleaning = 0;
+                
+                if (PHPDBG_G(flags) & PHPDBG_IS_QUITTING) {
+                    goto phpdbg_out;
+                }
                    } zend_end_try();
                } while(!(PHPDBG_G(flags) & PHPDBG_IS_QUITTING));
 
+phpdbg_out:
+
                if (ini_entries) {
                    free(ini_entries);
                }