From: Bob Weinand <bobwei9@hotmail.com>
Date: Wed, 8 Jul 2015 14:54:41 +0000 (+0200)
Subject: Working fix for ctrl+d on readline/libedit
X-Git-Tag: php-7.1.1RC1~35^2~59
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=3ccc17cee5cbd6555b761abdb54111af8ad7b0db;p=php

Working fix for ctrl+d on readline/libedit
---

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);