Skip to content

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

Tristan Van Berkomrequested to merge
tristan/fix-double-terminate-prompt-1.2 into bst-1.2

Backport of !852 (merged)

Merge request reports