If a signal handler deletes a Dispatcher, a DispatchNotifier
can be deleted while its pipe_io_handler() method is executing.
Stop its execution if this happens.

Fixes #116