{
if (jsExecQueue != null)
{
- Vector q = jsExecQueue;
- jsExecQueue = null;
- q.removeAllElements();
- executor.notify();
+ synchronized (jsExecQueue)
+ {
+ Vector q = jsExecQueue;
+ q.removeAllElements();
+ jsExecQueue = null;
+ executor.notify();
+ }
executor = null;
}
}