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