Place configfiles in working dir if filename set

2026-10-25 10:24:38 +08:00 · 2020-01-22 09:43:15 +01:00
parent 5de147a181
commit 9a5004c5ee
1 changed files with 2 additions and 0 deletions
@@ -525,6 +525,8 @@ class ToolEvaluator(object):
            if not os.path.exists(directory):
                os.makedirs(directory)
            if filename is not None:
+                # Explicit filename was requested, needs to be placed in tool working directory
+                directory = os.path.join(self.local_working_directory, "working")
                config_filename = os.path.join(directory, filename)
            else:
                fd, config_filename = tempfile.mkstemp(dir=directory)