From 351a0ac761f2308097c40e5d495b44b591a990c7 Mon Sep 17 00:00:00 2001 From: krakjoe Date: Sat, 23 Nov 2013 17:01:18 +0000 Subject: [PATCH] fix sigint --- phpdbg.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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 { -- 2.50.1