diff --git a/webservice/webservice.py b/webservice/webservice.py index 99cfa04d522f8ed60e4da985a64719d460262c5c..2606a9d672b5eb2c476886432200a100f16b82e5 100644 --- a/webservice/webservice.py +++ b/webservice/webservice.py @@ -162,7 +162,7 @@ async def change_config(socket, config, updated_config, instrument, cycle, repo.remote().pull() prop_dir = os.path.join(repo.working_tree_dir, cycle) os.makedirs(prop_dir, exist_ok=True) - fpath = "{}/p{:06d}.yaml".format(prop_dir, int(proposal)) + fpath = "{}/{:06d}.yaml".format(prop_dir, int(proposal)) if not os.path.exists(fpath): with open("{}/default.yaml".format(repo.working_tree_dir), "r") as f: defconf = yaml.load(f.read())