summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAlex Schroeder <alex@gnu.org>2022-07-02 00:54:38 +0200
committerAlex Schroeder <alex@gnu.org>2022-07-02 00:54:38 +0200
commit9f6f7e3f1d5c10e20d3397e8209c67f84cc8786a (patch)
treed7cf957f4dbc756674260860dc301dcd5935958f
parent14550016ade9622f49dc451439f66fe7acc8c764 (diff)
Try agressive reconnect
-rw-r--r--gridmapper.svg5
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
};
}