public interface InterruptHandler
Thread.interrupt()
. Handlers are registered with ThreadSignalHandler.setInterruptHandler(InterruptHandler)
and are
invoked from ThreadSignalHandler.checkInterrupted()
when the
currently running thread has been interrupted.
Note to BASE developers! Long running operations inside the BASE
core or utilities should call ThreadSignalHandler.checkInterrupted()
at regular intervals to make sure that operations can be interrupted.
Modifier and Type | Method and Description |
---|---|
void |
handleInterrupt()
This method is called when the worker thread has been interrupted by
some other thread.
|