1 files changed, 4 insertions, 6 deletions
diff --git a/phpdbg.c b/phpdbg.c
index 1ada36c7a1..c631d8f3c3 100644
--- a/phpdbg.c
+++ b/phpdbg.c
@@ -1257,10 +1257,8 @@ phpdbg_interact:
 						/* this must be forced */
 						CG(unclean_shutdown) = 0;
 					} else {
-						/* local client quit console */
-						CG(unclean_shutdown) = 0;
-						
-						goto phpdbg_out;
+						/* local consoles cannot disconnect, ignore EOF */
+						PHPDBG_G(flags) &= ~PHPDBG_IS_DISCONNECTED;
 					}
 				}
 #endif
@@ -1275,7 +1273,7 @@ phpdbg_interact:
 		
 phpdbg_out:
 #ifndef _WIN32
-		if (PHPDBG_G(flags) & PHPDBG_IS_DISCONNECTED) {
+		if ((PHPDBG_G(flags) & PHPDBG_IS_DISCONNECTED)) {
 			PHPDBG_G(flags) &= ~PHPDBG_IS_DISCONNECTED;
 			goto phpdbg_interact;
 		}
@@ -1324,7 +1322,7 @@ phpdbg_out:
 	if (cleaning || remote) {
 		goto phpdbg_main;
 	}
-
+	
 #ifdef ZTS
 	/* bugggy */
 	/* tsrm_shutdown(); */