Invoked by DRAMA when the run loop exits.
Must be implemented by subclasses.
Implemented in drama::thread::KickNotifier, and drama::thread::TUface.