static inline void php_sapi_phpdbg_flush(void *context) /* {{{ */
{
TSRMLS_FETCH();
-
+
fflush(PHPDBG_G(io)[PHPDBG_STDOUT]);
} /* }}} */
static inline void phpdbg_sigint_handler(int signo) /* {{{ */
{
TSRMLS_FETCH();
-
+
if (EG(in_execution)) {
- /* we don't want to set signalled while phpdbg is interactive */
+ /* we don't want to set signalled while phpdbg is not interactive */
if (!(PHPDBG_G(flags) & PHPDBG_IS_INTERACTIVE)) {
PHPDBG_G(flags) |= PHPDBG_IS_SIGNALED;
}
/* if we are not executing then just provide advice */
phpdbg_writeln(EMPTY);
phpdbg_error(
- "Please leave phpdbg gracefully !");
+ "Please leave phpdbg gracefully!");
}
} /* }}} */
if (ini_entries) {
free(ini_entries);
}
-
+
if (ini_override) {
free(ini_override);
}