diff --git a/tools/test-runner b/tools/test-runner index 7c1498d0..eab0f0ab 100755 --- a/tools/test-runner +++ b/tools/test-runner @@ -56,6 +56,10 @@ def exit_vm(): if config: for p in config.ctx.processes: print("Process %s still running!" % p.name) + p.kill() + p = None + + config.ctx.processes = [] if config.ctx and config.ctx.results: print_results(config.ctx.results)