diff options
| author | Bob Weinand <bobwei9@hotmail.com> | 2016-10-16 13:48:25 +0200 |
|---|---|---|
| committer | Bob Weinand <bobwei9@hotmail.com> | 2016-10-16 13:48:25 +0200 |
| commit | b1c6299b34f4a80732c5cb375c0c49de97623a79 (patch) | |
| tree | 5e60a3c37ae5aaeac28724cd7ae9673b8432576b /sapi/phpdbg/phpdbg.c | |
| parent | 0399a432654841f70d97f7a18b5ac6ee1308f345 (diff) | |
| parent | 47bd3d982eedf33ef73a8fb8e42b283da9fcee02 (diff) | |
| download | php-git-b1c6299b34f4a80732c5cb375c0c49de97623a79.tar.gz | |
Merge branch 'PHP-7.1'
Diffstat (limited to 'sapi/phpdbg/phpdbg.c')
| -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 18b490570d..94190b05b6 100644 --- a/sapi/phpdbg/phpdbg.c +++ b/sapi/phpdbg/phpdbg.c @@ -1175,6 +1175,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; + } } } } /* }}} */ |