From 3ccc17cee5cbd6555b761abdb54111af8ad7b0db Mon Sep 17 00:00:00 2001 From: Bob Weinand Date: Wed, 8 Jul 2015 16:54:41 +0200 Subject: Working fix for ctrl+d on readline/libedit --- sapi/phpdbg/phpdbg_cmd.c | 7 ++----- 1 file changed, 2 insertions(+), 5 deletions(-) (limited to 'sapi/phpdbg/phpdbg_cmd.c') 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); -- cgit v1.2.1