From: Bob Weinand <bobwei9@hotmail.com>
Date: Sun, 16 Oct 2016 11:47:49 +0000 (+0200)
Subject: Fixed bug #70776 (Simple SIGINT does not have any effect)
X-Git-Tag: php-7.1.0RC4~7^2
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=e93eaee1648a55d3d58788e2b898e8fb00f0c13c;p=php

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

diff --git a/NEWS b/NEWS
index 3ac6949da7..67401958d1 100644
--- a/NEWS
+++ b/NEWS
@@ -23,6 +23,7 @@ PHP                                                                        NEWS
   . Add -s command line option / stdin command for reading script from stdin.
     (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:
   . Fixed bug #73273 (session_unset() empties values from all variables in which
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;
+			}
 		}
 	}
 } /* }}} */