220 |
if(restartUpd) return; |
if(restartUpd) return; |
221 |
if(dbg) pa("UPDMANAGER CHG - NORESTARTUPD"); |
if(dbg) pa("UPDMANAGER CHG - NORESTARTUPD"); |
222 |
synchronized(ordering) { |
synchronized(ordering) { |
223 |
|
if(dbg) pa("UPDMANAGER CHG - IN SYNCHRONIZED"); |
224 |
restartUpd = true; |
restartUpd = true; |
225 |
ordering.notifyAll(); |
ordering.notifyAll(); |
226 |
|
if(dbg) pa("UPDMANAGER CHG - NOTIFIED"); |
227 |
interruptEventloop(); |
interruptEventloop(); |
228 |
} |
} |
229 |
|
|
363 |
instance.interruptEventloop(); |
instance.interruptEventloop(); |
364 |
} |
} |
365 |
|
|
366 |
protected void interruptEventloop() { } |
abstract protected void interruptEventloop() ; |
367 |
|
|
368 |
/** Do the background tasks that need to be done in |
/** Do the background tasks that need to be done in |
369 |
* the main thread. |
* the main thread. |