diff options
author | Alex Schroeder <alex@gnu.org> | 2022-07-02 00:54:38 +0200 |
---|---|---|
committer | Alex Schroeder <alex@gnu.org> | 2022-07-02 00:54:38 +0200 |
commit | 9f6f7e3f1d5c10e20d3397e8209c67f84cc8786a (patch) | |
tree | d7cf957f4dbc756674260860dc301dcd5935958f | |
parent | 14550016ade9622f49dc451439f66fe7acc8c764 (diff) |
Try agressive reconnect
-rw-r--r-- | gridmapper.svg | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/gridmapper.svg b/gridmapper.svg index 1d02cc3..5b9ae4d 100644 --- a/gridmapper.svg +++ b/gridmapper.svg @@ -1635,6 +1635,10 @@ function join () { + '• an optional password'); return; } + rejoin(map, pwd); +} + +function rejoin (map, pwd) { if (Map.websocket !== null) { Map.websocket.close(); } @@ -1658,6 +1662,7 @@ function join () { if (Map.websocket.readyState === WebSocket.OPEN) { message('Network error: ' + evt.data); } + setTimeout(function(){rejoin(map, pwd);}, 500); // 0.5s }; } |