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.
<?xml version='1.0' encoding='utf-8'?>
<CExtension CFLAGS="" LDFLAGS=""/>
