archive/php-src
1
0
Fork 0
mirror of https://github.com/php/php-src.git synced 2025-08-16 22:18:50 +02:00
Code Issues Projects Releases Packages Wiki Activity Actions 3

Fixed bug #70776 (Simple SIGINT does not have any effect)

Browse source
This commit is contained in:
Bob Weinand 2016-10-16 13:47:49 +02:00
parent 6d91772c2f
commit e93eaee164
2 changed files with 5 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

1
NEWS
View file

@ -23,6 +23,7 @@ PHP NEWS
. Add -s command line option / stdin command for reading script from stdin. . Add -s command line option / stdin command for reading script from stdin.
(Bob) (Bob)
. Ignore non-executable opcodes in line mode of phpdbg_end_oplog(). (Bob) . Ignore non-executable opcodes in line mode of phpdbg_end_oplog(). (Bob)
. Fixed bug #70776 (Simple SIGINT does not have any effect). (Bob)
- Session: - Session:
. Fixed bug #73273 (session_unset() empties values from all variables in which . Fixed bug #73273 (session_unset() empties values from all variables in which

4
sapi/phpdbg/phpdbg.c
View file

@ -1140,6 +1140,10 @@ static inline void phpdbg_sigint_handler(int signo) /* {{{ */
} }
} else { } else {
PHPDBG_G(flags) |= PHPDBG_IS_SIGNALED; 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;
}
} }
} }
} /* }}} */ } /* }}} */