diff --git a/api/js/jsapi/egw_json.js b/api/js/jsapi/egw_json.js index 417065f58d..fcb38a7c01 100644 --- a/api/js/jsapi/egw_json.js +++ b/api/js/jsapi/egw_json.js @@ -118,8 +118,12 @@ egw.extend('json', egw.MODULE_WND_LOCAL, function(_app, _wnd) { console.log("Server did not respond to ping in "+max_ping_response_time+" seconds --> try reconnecting"); check_timer = null; + this.websocket.onclose = function() + { + this.websocket = null; + this.openWebSocket(url, tokens, account_id, error, reconnect_time); + } this.websocket.close(); // closing it now, before reopening it, to not end up with multiple connections - this.openWebSocket(url, tokens, account_id, error, reconnect_time); }.bind(this), max_ping_response_time); }.bind(this);