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

2022-11-15, Edouard Tisserant