Fixed problem opening other sources
[phpeclipse.git] / net.sourceforge.phpeclipse.debug.core / src / net / sourceforge / phpdt / internal / debug / core / model / PHPThread.java
index 3d4c2b0..2aad677 100644 (file)
@@ -75,6 +75,10 @@ public class PHPThread implements IThread {
                return target;
        }
 
+       public void setDebugTarget(IDebugTarget target) {
+               this.target= target;
+       }
+       
        public ILaunch getLaunch() {
                return this.getDebugTarget().getLaunch();
        }
@@ -117,7 +121,7 @@ public class PHPThread implements IThread {
        */
 
        public void suspend()  {
-               isStepping = false ;
+               isStepping = false;
                isSuspended = true;
                DebugEvent ev = new DebugEvent(this, DebugEvent.SUSPEND, DebugEvent.BREAKPOINT);
                DebugPlugin.getDefault().fireDebugEventSet(new DebugEvent[] { ev });
@@ -167,6 +171,7 @@ public class PHPThread implements IThread {
        public void terminate() throws DebugException {
                isTerminated = true;
                this.frames = null;
+               getDebugTarget().terminate();
        }
 
        public Object getAdapter(Class arg0) {