svgui/pyjs/jsonrpc/__init__.py
author |
Edouard Tisserant |
|
Wed, 13 May 2020 14:48:52 +0200 |
branch | svghmi |
changeset 2965 |
8f928cee01e5 |
parent 1869 |
49cdd843c006
|
permissions |
-rw-r--r-- |
SVGHMI: Makes error when HMI tree is not well formed. Prevents multiple and non-first HMI_NODE, and ensure that all paths in HMI tree are unique.