diff --git a/scripts/runfvp b/scripts/runfvp index 0ebf873e..7a3c239a 100755 --- a/scripts/runfvp +++ b/scripts/runfvp @@ -270,7 +270,12 @@ 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) + # Ignore permission errors happening when spawned from an other process + # for example run from except + try: + os.setpgid(0, 0) + except PermissionError: + pass if sys.stdin.isatty(): signal.signal(signal.SIGTTOU, signal.SIG_IGN) os.tcsetpgrp(sys.stdin.fileno(), os.getpgrp())