running tasks are not killed when satt is interrupted

staticafi / satt

Static analysis tools tester

2 stars 1 forks source link

running tasks are not killed when satt is interrupted #36

Open mchalupa opened 8 years ago

mchalupa commented 8 years ago

if we interrupt satt (e. g. using ctrl+C), the running tasks keep running on the remote machines. It is probably work of run_benchmark scripts to take care of killing the task?