From: krakjoe <joe.watkins@live.co.uk>
Date: Sat, 23 Nov 2013 16:59:31 +0000 (+0000)
Subject: quit on CTRL+C when interactive
X-Git-Tag: php-5.6.0alpha1~110^2~126
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=f7ae1126f80d5a74be6bbb9e0b43aeb199d02aad;p=php

quit on CTRL+C when interactive
---

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();
 	}
 } /* }}} */