fireThreadCreateEvent(phpThread);
}
+ public void updateThreads (PHPThread phpThread) {
+ fireChangeEvent ();
+ fireThreadCreateEvent (phpThread);
+ }
+
private void fireChangeEvent() {
DebugEvent ev = new DebugEvent(this, DebugEvent.CHANGE);
DebugPlugin.getDefault().fireDebugEventSet(new DebugEvent[] { ev });
DebugPlugin.getDefault().fireDebugEventSet(new DebugEvent[] { ev });
}
- protected PHPThread getThreadById(int id) {
- for (int i = 0; i < threads.length; i++) {
- if (threads[i].getId() == id) {
- return threads[i];
- }
- }
- return null;
- }
+// protected PHPThread getThreadById(int id) {
+// for (int i = 0; i < threads.length; i++) {
+// if (threads[i].getId() == id) {
+// return threads[i];
+// }
+// }
+// return null;
+// }
public IThread[] getThreads() {
return threads;
public synchronized boolean isTerminated() {
return state.isTerminated();
}
-
+
private synchronized void terminateThreads () {
int i;
-
+
try {
for (i = 0; i < threads.length; i++) {
threads[i].terminate ();