Fix bug in process function interrupt handlers causing verdi daemon stop to timeout#2966
Merged
sphuber merged 2 commits intoaiidateam:developfrom sphuber:fix_2963_runner_kill_process_signalJun 5, 2019
+39-13
verdi daemon stop to timeout#2966