artiq_dashboard: Replace --port-notify

m-labs · Jul 22, 2024 · 52b0f30 · 52b0f30
1 parent b0d2705
commit 52b0f30
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/artiq/frontend/artiq_dashboard.py b/artiq/frontend/artiq_dashboard.py
@@ -33,6 +33,9 @@ def get_argparser():
     parser.add_argument(
         "-s", "--server", default="::1",
         help="hostname or IP of the master to connect to (default: %(default)s)")
+    parser.add_argument(
+        "--port-notify", default=3250, type=int,
+        help="TCP port to connect to for notifications (default: %(default)s)")
     parser.add_argument(
         "--port-control", default=3251, type=int,
         help="TCP port to connect to for control (default: %(default)s)")