diff options
-rw-r--r-- | sapi/phpdbg/phpdbg_cmd.c | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/sapi/phpdbg/phpdbg_cmd.c b/sapi/phpdbg/phpdbg_cmd.c index 9a3751a424..04da78098b 100644 --- a/sapi/phpdbg/phpdbg_cmd.c +++ b/sapi/phpdbg/phpdbg_cmd.c @@ -731,11 +731,8 @@ 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; + PHPDBG_G(flags) |= PHPDBG_IS_QUITTING | PHPDBG_IS_DISCONNECTED; + zend_bailout(); } add_history(cmd); |