]> granicus.if.org Git - php/commitdiff
fix sigint
authorkrakjoe <joe.watkins@live.co.uk>
Sat, 23 Nov 2013 17:01:18 +0000 (17:01 +0000)
committerkrakjoe <joe.watkins@live.co.uk>
Sat, 23 Nov 2013 17:01:18 +0000 (17:01 +0000)
phpdbg.c

index 00c187a20041a4d582d22ff2c0f5c48ec38581e8..e5aee66d7e98031bd76023921923e586287e10ec 100644 (file)
--- 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 {