X-Git-Url: http://git.phpeclipse.com

diff --git a/net.sourceforge.phpeclipse.debug.core/src/net/sourceforge/phpdt/internal/debug/core/PHPDBGInterface.java b/net.sourceforge.phpeclipse.debug.core/src/net/sourceforge/phpdt/internal/debug/core/PHPDBGInterface.java
index e4e754c..8e8a36e 100644
--- a/net.sourceforge.phpeclipse.debug.core/src/net/sourceforge/phpdt/internal/debug/core/PHPDBGInterface.java
+++ b/net.sourceforge.phpeclipse.debug.core/src/net/sourceforge/phpdt/internal/debug/core/PHPDBGInterface.java
@@ -17,6 +17,7 @@ import java.io.OutputStream;
 import java.util.Collections;
 import java.util.Vector;
 
+import net.sourceforge.phpdt.internal.debug.core.PHPDBGProxy.PHPLoop;
 import net.sourceforge.phpdt.internal.debug.core.model.PHPDBGEvalString;
 import net.sourceforge.phpdt.internal.debug.core.model.PHPStackFrame;
 import net.sourceforge.phpdt.internal.debug.core.model.PHPValue;
@@ -286,7 +287,6 @@ public class PHPDBGInterface {
 		if (proxy.getSocket ().isClosed ()) {						// Can we communiate with DBG?
 			return;                                                 //  No
 		}
-
 		DBGPacket.sendPacket (os);                                  // Send the request to DBG
 
 		lastCommand = PHPDBGBase.DBGA_CONTINUE;                     // Store the info about the command we sent
@@ -1127,8 +1127,8 @@ public class PHPDBGInterface {
 					break;
 
 				case PHPDBGBase.DBGC_END:
-					sessionEnded = true;
-					this.proxy.setTerminated();
+					 sessionEnded = true; 
+					 this.proxy.setTerminated(); 
 					break;
 
 				case PHPDBGBase.DBGC_BREAKPOINT: