beremiz
Clone
Summary
Browse
Changes
Graph
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.
/**
* No platform specific code for "Generic" target
**/
