Merge branch 'development' into feature/launch-by-uuid

2026-07-03 00:37:55 +00:00 · 2018-09-10 12:08:00 +01:00
parent f567898072 8d9239c300
commit 05ea709aee
1 changed files with 3 additions and 0 deletions
@@ -38,6 +38,9 @@ public class ServerDescription implements Comparable<ServerDescription> {

    @Override
    public int compareTo(ServerDescription o) {
+        if (this.getServerName().equalsIgnoreCase(o.getServerName())) {
+            return 1;
+        }
        return this.getServerName().compareTo(o.getServerName());
    }