diff --git a/runtest.py b/runtest.py index 883165dd311a269e3b3d96d1eb73564fba736a9f..c9a287921060e96ec897aff2da3851e71c7bb5c1 100644 --- a/runtest.py +++ b/runtest.py @@ -121,7 +121,7 @@ if not args.norun: "memory": memory_b, "memory error": False, "script error": False, - "killed manually": True, + "killed manually": False, } json.dump(info_dict, info_file, indent=2) @@ -163,11 +163,11 @@ if not args.norun: except: os.killpg(os.getpgid(p.pid), signal.SIGTERM) _, _ = p.communicate() + info_dict["killed manually"] = True out_file.close() log_file.close() - info_dict["killed manually"] = False info_dict["return code"] = p.returncode info_file = open("info.json", "w") json.dump(info_dict, info_file, indent=2)