void interrupt() void interrupt(string msg)
Interrupt the thread with the message msg .
The argument msg is currently ignored.
Interrupts are asynchronous, and are currently not queued.