From 18f31d474ee384509e4e06d5441c38be747df383 Mon Sep 17 00:00:00 2001
From: krakjoe <joe.watkins@live.co.uk>
Date: Fri, 17 Jan 2014 21:15:03 +0000
Subject: [PATCH] ...

---
 phpdbg.c | 33 ++++++++++++++++++---------------
 1 file changed, 18 insertions(+), 15 deletions(-)

diff --git a/phpdbg.c b/phpdbg.c
index 8225a90125..a2e1e75b23 100644
--- a/phpdbg.c
+++ b/phpdbg.c
@@ -1242,25 +1242,28 @@ phpdbg_interact:
 				} else {
 					cleaning = 0;
 				}
+
 #ifndef _WIN32
-				/* remote client disconnected */
-				if ((PHPDBG_G(flags) & PHPDBG_IS_DISCONNECTED)) {
+				if (!cleaning) {
+					/* remote client disconnected */
+					if ((PHPDBG_G(flags) & PHPDBG_IS_DISCONNECTED)) {
 					
-					if (PHPDBG_G(flags) & PHPDBG_IS_REMOTE) {
-						/* renegociate connections */
-						phpdbg_open_sockets(
-							address, listen, &server, &socket, streams);
+						if (PHPDBG_G(flags) & PHPDBG_IS_REMOTE) {
+							/* renegociate connections */
+							phpdbg_open_sockets(
+								address, listen, &server, &socket, streams);
 				
-						/* set streams */
-						if (streams[0] && streams[1]) {
-							PHPDBG_G(flags) &= ~PHPDBG_IS_QUITTING;
-						}
+							/* set streams */
+							if (streams[0] && streams[1]) {
+								PHPDBG_G(flags) &= ~PHPDBG_IS_QUITTING;
+							}
 				
-						/* this must be forced */
-						CG(unclean_shutdown) = 0;
-					} else {
-						/* local consoles cannot disconnect, ignore EOF */
-						PHPDBG_G(flags) &= ~PHPDBG_IS_DISCONNECTED;
+							/* this must be forced */
+							CG(unclean_shutdown) = 0;
+						} else {
+							/* local consoles cannot disconnect, ignore EOF */
+							PHPDBG_G(flags) &= ~PHPDBG_IS_DISCONNECTED;
+						}
 					}
 				}
 #endif
-- 
2.40.0