Working fix for ctrl+d on readline/libedit

diff --git a/sapi/phpdbg/phpdbg_cmd.c b/sapi/phpdbg/phpdbg_cmd.c
index 9a3751a424d11ffbd9f18f36a67568cf193a03e5..04da78098b6fef477388d80cdbbdf664c51674f4 100644 (file)
--- 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);