From e66831f24c76db0e9175b865f1270cb0fa6d19ed Mon Sep 17 00:00:00 2001
From: Thomas Kluyver <thomas@kluyver.me.uk>
Date: Thu, 30 Jun 2022 14:52:08 +0100
Subject: [PATCH] Allow specifying myMdC ID in request_repeat script
---
webservice/request_repeat.py | 1 +
1 file changed, 1 insertion(+)
diff --git a/webservice/request_repeat.py b/webservice/request_repeat.py
index a8d93cc92..cb4fad960 100644
--- a/webservice/request_repeat.py
+++ b/webservice/request_repeat.py
@@ -12,6 +12,7 @@ import zmq
parser = argparse.ArgumentParser(description='Request repeat correction.')
parser.add_argument('proposal', type=int, help='The proposal number')
parser.add_argument('run', type=int, help='The run number')
+parser.add_argument('--mymdc-id', type=int, default=0, help="Run ID in myMdC")
parser.add_argument('--endpoint', default='tcp://max-exfl016:5555',
help="The ZMQ endpoint to connect to (max-exfl017 for testing)")
--
GitLab