mozart/mozart2 — pull request #197 by eregon (2014-06-16 13:24:23+00:00)
Title: Prevent the preemption timer to run when termination is requested

* The call to `deadline_timer.cancel()` might not do anything if the timer was about to expire (and the callback is then executed "normally").