...

diff --git a/phpdbg.c b/phpdbg.c
index 8225a9012523dd7193dc670ef03d2af205c61ec7..a2e1e75b233baf25455b2e44dc8aca8ce79cd6ec 100644 (file)
--- 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