branch | svghmi |
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: