Check if empty server list is obtained
@@ -135,7 +135,12 @@ private void download(String address) throws IOException {
jsonReader.endArray();
+ if(servers.size()==0) {
+ status = String.format("Server Error!");
+ }
+ else {
status = String.format("${engine:menu#server-list-complete}");
}
}
}
+}
