We catch an interrupted_exc_t that was crashing the server (c.f. Issue #780).
Merge branch '780_add_interruptor_catch' into next