mirror of
https://github.com/php/php-src.git
synced 2026-03-24 00:02:20 +01:00
Properly exit on EOF on stdin in readline mode
This commit is contained in:
@@ -729,11 +729,15 @@ readline:
|
||||
PHPDBG_G(last_was_newline) = 1;
|
||||
}
|
||||
|
||||
if (!cmd) {
|
||||
goto readline;
|
||||
}
|
||||
|
||||
if (!(PHPDBG_G(flags) & PHPDBG_IS_REMOTE)) {
|
||||
if (!cmd) {
|
||||
if (feof(PHPDBG_G(io)[PHPDBG_STDIN].ptr)) {
|
||||
PHPDBG_G(flags) |= PHPDBG_IS_QUITTING | PHPDBG_IS_DISCONNECTED;
|
||||
zend_bailout();
|
||||
}
|
||||
goto readline;
|
||||
}
|
||||
|
||||
add_history(cmd);
|
||||
}
|
||||
#endif
|
||||
|
||||
@@ -90,7 +90,6 @@ PHPDBG_API int phpdbg_consume_stdin_line(char *buf) {
|
||||
if (bytes <= 0) {
|
||||
PHPDBG_G(flags) |= PHPDBG_IS_QUITTING | PHPDBG_IS_DISCONNECTED;
|
||||
zend_bailout();
|
||||
return 0;
|
||||
}
|
||||
|
||||
return bytes;
|
||||
|
||||
Reference in New Issue
Block a user