import java.util.Collections;
import java.util.Vector;
-import net.sourceforge.phpdt.internal.debug.core.PHPDBGProxy.PHPLoop;
+//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;
break;
case PHPDBGBase.DBGC_END:
- continueExecution();
- proxy.updateView();
+ sessionEnded = true;
+ this.proxy.setTerminated();
break;
case PHPDBGBase.DBGC_BREAKPOINT: