mirror of
https://github.com/php/php-src.git
synced 2024-09-24 19:37:26 +00:00
- Exit debugger when hitting ctrl-c in no execution
This commit is contained in:
parent
cf227df957
commit
f62098ee27
6
phpdbg.c
6
phpdbg.c
@ -451,10 +451,8 @@ static inline void phpdbg_sigint_handler(int signo) /* {{{ */
|
||||
PHPDBG_G(flags) |= PHPDBG_IS_SIGNALED;
|
||||
}
|
||||
} else {
|
||||
/* if we are not executing then just provide advice */
|
||||
phpdbg_writeln(EMPTY);
|
||||
phpdbg_error(
|
||||
"Please leave phpdbg gracefully!");
|
||||
PHPDBG_G(flags) |= PHPDBG_IS_QUITTING;
|
||||
zend_bailout();
|
||||
}
|
||||
} /* }}} */
|
||||
|
||||
|
Loading…
Reference in New Issue
Block a user