# HG changeset patch
# User Edouard Tisserant <edouard@beremiz.fr>
# Date 1740583919 -3600
# Node ID 49e297aaf694b86261b8b716c6ce7eb8615bddb0
# Parent  78e33138353380e040798d97d3f11712e2f072d6
python runtime: use given service name (-n CLI option) as CRA ID by default.

diff -r 78e331383533 -r 49e297aaf694 Beremiz_service.py
--- a/Beremiz_service.py	Wed Feb 26 16:30:09 2025 +0100
+++ b/Beremiz_service.py	Wed Feb 26 16:31:59 2025 +0100
@@ -551,7 +551,7 @@
 
     if havewamp:
         try:
-            WC.RegisterWampClient(wampconf, PSKpath, ConfDir, KeyStore)
+            WC.RegisterWampClient(wampconf, PSKpath, ConfDir, KeyStore, servicename)
             WC.RegisterWebSettings(NS)
         except Exception:
             LogMessageAndException(_("WAMP client startup failed. "))
diff -r 78e331383533 -r 49e297aaf694 runtime/WampClient.py
--- a/runtime/WampClient.py	Wed Feb 26 16:30:09 2025 +0100
+++ b/runtime/WampClient.py	Wed Feb 26 16:31:59 2025 +0100
@@ -275,8 +275,12 @@
     return re.match(r'wss?://[^\s?:#-]+(:[0-9]+)?(/[^\s]*)?$', uri) is not None
 
 
-def RegisterWampClient(wampconf=None, wampsecret=None, ConfDir=None, KeyStore=None):
-    global _WampConf, _WampSecret, _WampTrust
+def RegisterWampClient(wampconf=None, wampsecret=None, ConfDir=None, KeyStore=None, servicename=None):
+    global _WampConf, _WampSecret, _WampTrust, defaultWampConfig
+
+    if servicename:
+        defaultWampConfig["ID"] = servicename
+
     ConfDir = ConfDir if ConfDir else WorkingDir
     KeyStore = KeyStore if KeyStore else WorkingDir