archive/php-src
1
0
Fork 0
mirror of https://github.com/php/php-src.git synced 2025-08-15 21:48:51 +02:00
Code Issues Projects Releases Packages Wiki Activity Actions 3

Merge branch 'PHP-7.0' into PHP-7.1

Browse source
This commit is contained in:
Bob Weinand 2016-10-16 13:48:13 +02:00
commit 47bd3d982e
1 changed files with 4 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

4
sapi/phpdbg/phpdbg.c
View file

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