#417 - helper scripts to kill processes if Ctrl+C is used#445

Merged

kensoh merged 2 commits intoaisingapore:masterfrom tebelorg:master

Jun 10, 2019

+37-6

Commits on Jun 10, 2019

aisingapore#443 - timeout step to also update sikuli timeout
kensoh
committed
aisingapore#417 - helper scripts to kill processes if Ctrl+C is used
kensoh
committed