diff options
author | Bob Weinand <bobwei9@hotmail.com> | 2015-07-08 16:54:41 +0200 |
---|---|---|
committer | Bob Weinand <bobwei9@hotmail.com> | 2015-07-08 16:54:41 +0200 |
commit | 3ccc17cee5cbd6555b761abdb54111af8ad7b0db (patch) | |
tree | 334556b9b7486585c3c2983e8e3b8458b3a76b70 | |
parent | 5460929077fc71640a871bfd4cee38cce2b4b7eb (diff) | |
download | php-git-3ccc17cee5cbd6555b761abdb54111af8ad7b0db.tar.gz |
Working fix for ctrl+d on readline/libedit
-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); |