From: krakjoe <joe.watkins@live.co.uk>
Date: Sat, 23 Nov 2013 17:01:18 +0000 (+0000)
Subject: fix sigint
X-Git-Tag: php-5.6.0alpha1~110^2~124
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=351a0ac761f2308097c40e5d495b44b591a990c7;p=php

fix sigint
---

diff --git a/phpdbg.c b/phpdbg.c
index 00c187a200..e5aee66d7e 100644
--- a/phpdbg.c
+++ b/phpdbg.c
@@ -446,8 +446,8 @@ static inline void phpdbg_sigint_handler(int signo) /* {{{ */
 	TSRMLS_FETCH();
 
 	if (EG(in_execution)) {
-		/* we don't want to set signalled while phpdbg is not interactive */
-		if (PHPDBG_G(flags) & PHPDBG_IS_INTERACTIVE) {
+		/* set signalled only when not interactive */
+		if (!(PHPDBG_G(flags) & PHPDBG_IS_INTERACTIVE)) {
 			PHPDBG_G(flags) |= PHPDBG_IS_SIGNALED;
 		}
 	} else {