diff options
| author | Bob Weinand <bobwei9@hotmail.com> | 2016-10-16 13:47:49 +0200 |
|---|---|---|
| committer | Bob Weinand <bobwei9@hotmail.com> | 2016-10-16 13:47:49 +0200 |
| commit | e93eaee1648a55d3d58788e2b898e8fb00f0c13c (patch) | |
| tree | 0c89122e497c21581522cbb03e52fc1857a4d049 /sapi/phpdbg | |
| parent | 6d91772c2f591fa7838bd9c0e141d13c5ab6b196 (diff) | |
| download | php-git-e93eaee1648a55d3d58788e2b898e8fb00f0c13c.tar.gz | |
Fixed bug #70776 (Simple SIGINT does not have any effect)
Diffstat (limited to 'sapi/phpdbg')
| -rw-r--r-- | sapi/phpdbg/phpdbg.c | 4 |
1 files changed, 4 insertions, 0 deletions
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; + } } } } /* }}} */ |