summaryrefslogtreecommitdiffstats
path: root/web
diff options
context:
space:
mode:
authorCosta Tsaousis (ktsaou) <costa@tsaousis.gr>2017-03-12 14:50:44 +0200
committerCosta Tsaousis (ktsaou) <costa@tsaousis.gr>2017-03-12 14:50:44 +0200
commit1b9e70dfd788fa42ec69ee254f05c8965fa3612f (patch)
treedae84d909fdec3970547547a35a59265a62cc612 /web
parent30c8f6ac827cdae82136d659b117babd67577b48 (diff)
sorted list of mirrored machines
Diffstat (limited to 'web')
-rw-r--r--web/index.html16
1 files changed, 13 insertions, 3 deletions
diff --git a/web/index.html b/web/index.html
index 8f6dca018e..a254aa8390 100644
--- a/web/index.html
+++ b/web/index.html
@@ -601,6 +601,8 @@
var len, i, url, hostname, icon;
if(options.hosts.length > 1) {
+ // there are mirrored hosts here
+
el += '<li><a href="#" onClick="return false;" style="color: #666;" target="_blank">databases available on this host</a></li>';
a1 += '<li><a href="#" onClick="return false;"><i class="fa fa-info-circle" aria-hidden="true" style="color: #666;"></i></a></li>';
@@ -611,11 +613,19 @@
if(base.endsWith("/"))
base = base.substring(0, base.length - 1);
+ var master = options.hosts[0].hostname;
+ var sorted = options.hosts.sort(function(a, b) {
+ if(a.hostname === master) return -1;
+ if(a.hostname === b.hostname) return 0;
+ else if(a.hostname > b.hostname) return 1;
+ return -1;
+ });
+
i = 0;
- len = options.hosts.length;
+ len = sorted.length;
while(len--) {
- hostname = options.hosts[i].hostname;
- if(i == 0) {
+ hostname = sorted[i].hostname;
+ if(hostname == master) {
url = base + "/";
icon = "home";
}