]> granicus.if.org Git - php/commitdiff
...
authorkrakjoe <joe.watkins@live.co.uk>
Sun, 10 Nov 2013 16:33:35 +0000 (16:33 +0000)
committerkrakjoe <joe.watkins@live.co.uk>
Sun, 10 Nov 2013 16:33:35 +0000 (16:33 +0000)
phpdbg_prompt.c

index e5c3142eda8809103ad853cea8c6a45fb7dd7fed..a176be4c9e1d5b353f15357b40e0ba40d1b986f0 100644 (file)
@@ -367,7 +367,9 @@ int phpdbg_interactive(int argc, char **argv TSRMLS_DC) /* {{{ */
                    }
                }
 
-               printf("phpdbg> ");
+               if (!PHPDBG_G(quitting)) {
+                   printf("phpdbg> ");
+               }
        }
 
        return SUCCESS;