From 05bd2f0fa6c80d8224296e98f8cb3211d3bd8570 Mon Sep 17 00:00:00 2001 From: Lukas Rothenberger Date: Wed, 25 Oct 2023 16:44:05 +0200 Subject: [PATCH] fix: initialize folder structure --- discopop_explorer/discopop_explorer.py | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/discopop_explorer/discopop_explorer.py b/discopop_explorer/discopop_explorer.py index 557512265..991e9c401 100644 --- a/discopop_explorer/discopop_explorer.py +++ b/discopop_explorer/discopop_explorer.py @@ -144,6 +144,10 @@ def run(arguments: ExplorerArguments): # create explorer directory if not already present if not os.path.exists(os.path.join(arguments.project_path, "explorer")): os.mkdir(os.path.join(arguments.project_path, "explorer")) + # create file to store next free pattern ids if not already present + if not os.path.exists("next_free_pattern_id.txt"): + with open("next_free_pattern_id.txt", "w") as f: + f.write(str(0)) if arguments.enable_profiling_dump_file is not None: profile = cProfile.Profile()