diff --git a/infra/src/nomad_plugin_gui/apis/__init__.py b/infra/src/nomad_plugin_gui/apis/__init__.py index 9aad6d8fd6e672c1d34dba8960fd775189077026..db1b960a51b7720748e3934af9cff3d885bbc8c8 100644 --- a/infra/src/nomad_plugin_gui/apis/__init__.py +++ b/infra/src/nomad_plugin_gui/apis/__init__.py @@ -72,7 +72,7 @@ class GUIAPIEntryPoint(APIEntryPoint): os.makedirs(run_gui_folder) shutil.rmtree(run_gui_folder, ignore_errors=True) - shutil.copytree(static_folder, run_gui_folder) + shutil.copytree(static_folder, run_gui_folder, dirs_exist_ok=True) source_file_globs = [ '**/*.json',