From 43f7cbf8f106416ef307b5657ccc9ab9dc8dedad Mon Sep 17 00:00:00 2001 From: mvdbeek Date: Mon, 3 Jun 2024 15:45:41 +0200 Subject: [PATCH] Don't delete tempdir --- lib/tool_shed/util/repository_util.py | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/lib/tool_shed/util/repository_util.py b/lib/tool_shed/util/repository_util.py index 0d09ffa1249e..f39572c89462 100644 --- 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)