File tree Expand file tree Collapse file tree 1 file changed +8
-2
lines changed Expand file tree Collapse file tree 1 file changed +8
-2
lines changed Original file line number Diff line number Diff line change @@ -654,8 +654,11 @@ static inline void phpdbg_sigint_handler(int signo) /* {{{ */
654
654
PHPDBG_G (flags ) |= PHPDBG_IS_SIGNALED ;
655
655
}
656
656
} else {
657
- PHPDBG_G (flags ) |= PHPDBG_IS_QUITTING ;
658
- zend_bailout ();
657
+ /* we quit remote consoles on recv SIGINT */
658
+ if (PHPDBG_G (flags ) & PHPDBG_IS_REMOTE ) {
659
+ PHPDBG_G (flags ) |= PHPDBG_IS_QUITTING ;
660
+ zend_bailout ();
661
+ }
659
662
}
660
663
} /* }}} */
661
664
@@ -1271,6 +1274,9 @@ int main(int argc, char **argv) /* {{{ */
1271
1274
/* this must be forced */
1272
1275
CG (unclean_shutdown ) = 0 ;
1273
1276
1277
+ /* this is just helpful */
1278
+ PG (report_memleaks ) = 0 ;
1279
+
1274
1280
phpdbg_out :
1275
1281
#ifndef _WIN32
1276
1282
if ((PHPDBG_G (flags ) & PHPDBG_IS_DISCONNECTED )) {
You can’t perform that action at this time.
0 commit comments