editors/__init__.py
author Edouard Tisserant
Mon, 31 Aug 2020 13:54:08 +0200
branchsvghmi
changeset 3049 4ac68ec9786f
parent 814 5743cbdff669
permissions -rw-r--r--
Attempt to workaround problem reported about empty plc.xml after unrelated crash. Now, if etree model is corrupted in a way tostring() would generate an empty string, exception prevents saving.