From f7ae1126f80d5a74be6bbb9e0b43aeb199d02aad Mon Sep 17 00:00:00 2001 From: krakjoe Date: Sat, 23 Nov 2013 16:59:31 +0000 Subject: [PATCH] quit on CTRL+C when interactive --- phpdbg.c | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) diff --git a/phpdbg.c b/phpdbg.c index bdb6c81073..7fd41273c1 100644 --- 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(); } } /* }}} */ -- 2.50.1