char buf[PHPDBG_MAX_CMD];
if (!phpdbg_write(PROMPT) ||
!fgets(buf, PHPDBG_MAX_CMD, stdin)) {
+ /* the user has gone away */
+ phpdbg_error("Failed to read console !");
+ PHPDBG_G(flags) |= PHPDBG_IS_QUITTING;
+ zend_bailout();
return NULL;
}
#else
char *cmd = readline(PROMPT);
if (!cmd) {
+ /* the user has gone away */
+ phpdbg_error("Failed to read console !");
+ PHPDBG_G(flags) |= PHPDBG_IS_QUITTING;
+ zend_bailout();
return NULL;
}