From 977e3348dfe4fef5833a81b8a7dfd03771a13b4b Mon Sep 17 00:00:00 2001 From: philipstarkey Date: Tue, 23 Jun 2020 18:31:22 +1000 Subject: [PATCH] Fix #93: Can't restart subprocess Fixes #93 --- runmanager/__main__.py | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/runmanager/__main__.py b/runmanager/__main__.py index 665e7d6..6b84b25 100644 --- a/runmanager/__main__.py +++ b/runmanager/__main__.py @@ -1855,7 +1855,8 @@ def check_child_exited(self, timeout_time, kill=False): self.output_box.output('done.\n') self.output_box.output('Spawning new compiler subprocess...') self.to_child, self.from_child, self.child = process_tree.subprocess( - 'batch_compiler.py', output_redirection_port=self.output_box.port + os.path.join(runmanager_dir, 'batch_compiler.py'), + output_redirection_port=self.output_box.port, ) self.output_box.output('done.\n') self.output_box.output('Ready.\n\n')