From e93eaee1648a55d3d58788e2b898e8fb00f0c13c Mon Sep 17 00:00:00 2001 From: Bob Weinand Date: Sun, 16 Oct 2016 13:47:49 +0200 Subject: Fixed bug #70776 (Simple SIGINT does not have any effect) --- sapi/phpdbg/phpdbg.c | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'sapi/phpdbg/phpdbg.c') diff --git a/sapi/phpdbg/phpdbg.c b/sapi/phpdbg/phpdbg.c index 9e82578412..e7012d0905 100644 --- a/sapi/phpdbg/phpdbg.c +++ b/sapi/phpdbg/phpdbg.c @@ -1140,6 +1140,10 @@ static inline void phpdbg_sigint_handler(int signo) /* {{{ */ } } else { PHPDBG_G(flags) |= PHPDBG_IS_SIGNALED; + if (PHPDBG_G(flags) & PHPDBG_PREVENT_INTERACTIVE) { + PHPDBG_G(flags) |= PHPDBG_HAS_PAGINATION; + PHPDBG_G(flags) &= ~PHPDBG_PREVENT_INTERACTIVE; + } } } } /* }}} */ -- cgit v1.2.1