runtime/WampClient.py
branchsvghmi
changeset 3285 d6612579f1d4
parent 2607 bf0c1a40cf37
child 3342 d8e99ecde9a2
--- a/runtime/WampClient.py	Tue Jul 20 09:43:35 2021 +0200
+++ b/runtime/WampClient.py	Tue Jul 20 10:52:25 2021 +0200
@@ -198,9 +198,15 @@
 def GetConfiguration():
     global lastKnownConfig
 
+    WampClientConf = None
+
     if os.path.exists(_WampConf):
-        WampClientConf = json.load(open(_WampConf))
-    else:
+        try: 
+            WampClientConf = json.load(open(_WampConf))
+        except ValueError:
+            pass
+
+    if WampClientConf is None:
         WampClientConf = defaultWampConfig.copy()
 
     for itemName in mandatoryConfigItems: