Working fix for ctrl+d on readline/libedit

bwoebi · bwoebi · commit 3ccc17cee5cb · 2015-07-08T16:54:41.000+02:00
diff --git a/sapi/phpdbg/phpdbg_cmd.c b/sapi/phpdbg/phpdbg_cmd.c
@@ -731,11 +731,8 @@ PHPDBG_API char *phpdbg_read_input(char *buffered) /* {{{ */
 
 			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);
