Don't delete tempdir

galaxyproject · Jun 3, 2024 · 43f7cbf · 43f7cbf
1 parent 27e7c79
commit 43f7cbf
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/lib/tool_shed/util/repository_util.py b/lib/tool_shed/util/repository_util.py
@@ -205,7 +205,9 @@ def create_repository(
     create_repository_admin_role(app, repository)
     # Create a temporary repo_path on disk.
     with tempfile.TemporaryDirectory(
-        dir=app.config.file_path, prefix="f{repository.user.username}-{repository.name}"
+        dir=app.config.file_path,
+        prefix="f{repository.user.username}-{repository.name}",
+        delete=False,
     ) as repository_path:
         # Create the local repository.
         init_repository(repo_path=repository_path)