util/__init__.py
author Edouard Tisserant
Tue, 20 Jul 2021 10:52:25 +0200
branchsvghmi
changeset 3285 d6612579f1d4
parent 742 41a4a560406c
permissions -rw-r--r--
Runtime: more robust loading of Wamp config, specially in case config file was corrupted.