From a1119a8417bec4657485d459ccb3ba979a03e65c Mon Sep 17 00:00:00 2001
From: ahmedk <karim.ahmed@xfel.eu>
Date: Tue, 1 Aug 2023 19:04:27 +0200
Subject: [PATCH] Use leading zeros in usr/Reports folders
---
webservice/webservice.py | 5 ++++-
1 file changed, 4 insertions(+), 1 deletion(-)
diff --git a/webservice/webservice.py b/webservice/webservice.py
index 0272e3a13..e580d7b63 100644
--- a/webservice/webservice.py
+++ b/webservice/webservice.py
@@ -1110,7 +1110,10 @@ class ActionsServer:
req_id = cur.lastrowid
reports_dir = Path(self.config['correct']['reports-folder'].format(
- instrument=instrument, cycle=cycle, proposal=proposal, runs=f"r{runnr}"
+ instrument=instrument,
+ cycle=cycle,
+ proposal=proposal,
+ runs=f"r{runnr:04d}"
))
mddirs_by_krb_id = {}
--
GitLab