beremiz

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

2022-11-15, Edouard Tisserant
20f9f0c36ad6
Parents 7e8db0b44e42
Children 3da9a6e6fb19
SVGHMI: do not try to reconnect websocket if closed properly by server.
1 files changed, 7 insertions(+), 0 deletions(-)
  • +7 -0
    svghmi/svghmi.js
    • --- a/svghmi/svghmi.js Wed Nov 09 12:14:35 2022 +0100
    +++ b/svghmi/svghmi.js Tue Nov 15 09:22:50 2022 +0100
    @@ -637,6 +637,13 @@
    ws = null;
    // reconect
    // TODO : add visible notification while waiting for reload
    + console.log(evt.wasClean)
    + console.log(evt.reason)
    + if(evt.code=1000){
    + // Do not attempt to reconnect immediately in case of Normal Closure
    + window.alert("Connection closed by server");
    + location.reload();
    + }
    window.setTimeout(create_ws, reconnect_delay);
    reconnect_delay += 500;
    };