Tristan Van Berkom authored Oct 03, 2018 and Tristan Van Berkom committed Oct 03, 2018

For some reason, we now receive a SIGINT from the main loop even
when the SIGINT occurred with the handler disconnected in an interactive
prompt. This patch simply ignores any received SIGINT events from the
main loop in the case that we are already in the process of terminating.

This fixes issue #693

_scheduler/scheduler.py: Ignore interrupt events while terminating.

Closes #693

See merge request !852