From 0a64644bc9d22382dd2856617acf34d621637fd7 Mon Sep 17 00:00:00 2001 From: Ross Burton Date: Mon, 18 Oct 2021 16:40:51 +0100 Subject: [PATCH] runfvp: reset the process group on startup So that it is easy to kill runfvp and everything it starts (such as telnet or the FVP itself), reset the process group on startup. Signed-off-by: Ross Burton Signed-off-by: Jon Mason --- scripts/runfvp | 3 +++ 1 file changed, 3 insertions(+) diff --git a/scripts/runfvp b/scripts/runfvp index a5a436e8..97836726 100755 --- a/scripts/runfvp +++ b/scripts/runfvp @@ -217,6 +217,9 @@ def runfvp(cli_args): if __name__ == "__main__": try: + # Set the process group so that it's possible to kill runfvp and + # everything it spawns easily. + os.setpgid(0, 0) runfvp(sys.argv[1:]) except KeyboardInterrupt: pass