]> granicus.if.org Git - php/commitdiff
- Exit debugger when hitting ctrl-c in no execution
authorFelipe Pena <felipensp@gmail.com>
Sat, 23 Nov 2013 17:01:14 +0000 (15:01 -0200)
committerFelipe Pena <felipensp@gmail.com>
Sat, 23 Nov 2013 17:01:14 +0000 (15:01 -0200)
phpdbg.c

index b252dcadff9b2fcedfe50592e09b9a168a5afa64..00c187a20041a4d582d22ff2c0f5c48ec38581e8 100644 (file)
--- a/phpdbg.c
+++ b/phpdbg.c
@@ -451,10 +451,8 @@ static inline void phpdbg_sigint_handler(int signo) /* {{{ */
                        PHPDBG_G(flags) |= PHPDBG_IS_SIGNALED;
                }
        } else {
-               /* if we are not executing then just provide advice */
-               phpdbg_writeln(EMPTY);
-               phpdbg_error(
-                       "Please leave phpdbg gracefully!");
+               PHPDBG_G(flags) |= PHPDBG_IS_QUITTING;
+               zend_bailout();
        }
 } /* }}} */