Re: Exception- Interrupt raised

[Chris Warburton]

We might be able to "solve" this in a similar way to the timeout issue,
by adding a handler to 'counter_ex_check'.

However, we should first try to figure out if this is a good idea. For
example, it might be the case that killing the process gracefully will
send interrupts to all worker threads; in which case, we shouldn't be
ignoring them and carrying on.