beremiz

SVGHMI: do not try to reconnect websocket if closed properly by server.

2022-11-15, Edouard Tisserant
20f9f0c36ad6
SVGHMI: do not try to reconnect websocket if closed properly by server.
[TOPOLOGY]
NetName=None
Nodes=0x01
Node64Present=0x01
Node64Name=micromod
Node64DCFName=PEAK MicroMod.eds
EDSBaseName=eds