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"?>
<CanFestivalInstance/>
