Use leading zeros in usr/Reports folders

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 = {}