quit on CTRL+C when interactive

diff --git a/phpdbg.c b/phpdbg.c
index bdb6c8107321f1f50a64065aa99babf2c061a48b..7fd41273c1cd44ca0e04a7d10e0a3921a8c38562 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();
        }
 } /* }}} */