From fd8f36fd60502f8b35dc704e23987104bb029e8f Mon Sep 17 00:00:00 2001 From: Benedikt Schesch Date: Mon, 27 May 2024 11:59:38 -0700 Subject: [PATCH] Ensure proper deletion in replay merge --- src/python/replay_merge.py | 1 + 1 file changed, 1 insertion(+) diff --git a/src/python/replay_merge.py b/src/python/replay_merge.py index da8e41b8cc..7715ed2fac 100755 --- a/src/python/replay_merge.py +++ b/src/python/replay_merge.py @@ -172,6 +172,7 @@ def merge_replay( f"Workdir {workdir} exists for idx: {merge_idx}. Delete it? (y/n)" ) if answer == "y": + os.system("chmod -R 777 " + str(WORKDIR_DIRECTORY / workdir)) shutil.rmtree(WORKDIR_DIRECTORY / workdir) else: logger.info(