fireThreadCreateEvent(phpThread);
}
- public void updateThreads(PHPThread phpThread) {
- fireChangeEvent();
- 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 });
}
- 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;