fireChangeEvent();
fireThreadCreateEvent(phpThread);
}
+
+ public void updateThreads(PHPThread phpThread) {
+ fireChangeEvent();
+ fireThreadCreateEvent(phpThread);
+ }
private void fireChangeEvent() {
DebugEvent ev = new DebugEvent(this, DebugEvent.CHANGE);
public synchronized boolean isTerminated() {
return state.isTerminated();
}
+
+ private synchronized void terminateThreads () {
+ int i;
+
+ try {
+ for (i = 0; i < threads.length; i++) {
+ threads[i].terminate ();
+ }
+ } catch (DebugException e) {
+ }
+ }
public synchronized void terminate() {
// This method is synchronized to control a race condition between the
return;
state.setTerminated(true);
phpDBGProxy.stop();
+ terminateThreads ();
this.threads = new PHPThread[0];
fireChangeEvent();
IBreakpointManager manager = DebugPlugin.getDefault()