fireChangeEvent();
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);
public synchronized boolean isTerminated() {
return state.isTerminated();
}
-
+
private synchronized void terminateThreads () {
int i;
-
+
try {
for (i = 0; i < threads.length; i++) {
threads[i].terminate ();