From 64f614737d9c2e8c696428a8987ab89003b6a185 Mon Sep 17 00:00:00 2001 From: adolfintel Date: Sat, 18 Aug 2018 10:00:30 +0200 Subject: [PATCH] Improved speed of server selection --- Frontend/server_selector.js | 22 ++++++++++++---------- Frontend/server_selector.min.js | 2 +- 2 files changed, 13 insertions(+), 11 deletions(-) diff --git a/Frontend/server_selector.js b/Frontend/server_selector.js index f27be8b..848891a 100644 --- a/Frontend/server_selector.js +++ b/Frontend/server_selector.js @@ -41,16 +41,18 @@ var PINGS=3, //up to 3 pings are performed, unless the server is down... function checkServer(server,done){ var i=0; server.pingT=-1; - var nextPing=function(){ - if(i++==PINGS){done(); return;} - ping(server.server+server.pingURL,function(t){ - if(t>=0){ - if(t=0){ + if(t