Capture KeyboardInterrupt in Runner.run and kill processes#2744
Merged
sphuber merged 1 commit intoaiidateam:developfrom sphuber:fix_2711_kill_process_interrupt_local_runnerMay 15, 2019
+33-4
