From f62098ee273843ea9b8d1e442fe88748354d35ad Mon Sep 17 00:00:00 2001 From: Felipe Pena Date: Sat, 23 Nov 2013 15:01:14 -0200 Subject: [PATCH] - Exit debugger when hitting ctrl-c in no execution --- phpdbg.c | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) diff --git a/phpdbg.c b/phpdbg.c index b252dcadff..00c187a200 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.40.0