Tue, 15 Nov 2022 09:29:48 +0100SVGHMI: cosmetic change
Edouard Tisserant [Tue, 15 Nov 2022 09:29:48 +0100] rev 3681
SVGHMI: cosmetic change

Tue, 15 Nov 2022 09:22:50 +0100SVGHMI: do not try to reconnect websocket if closed properly by server.
Edouard Tisserant [Tue, 15 Nov 2022 09:22:50 +0100] rev 3680
SVGHMI: do not try to reconnect websocket if closed properly by server.