NPE fix for getRandoms

2026-07-02 16:49:10 +00:00 · 2018-09-03 04:26:32 +01:00
parent ff788b4309
commit c60f808d12
1 changed files with 5 additions and 1 deletions
@@ -154,7 +154,11 @@ public class ServerProviderInfo {

    public URL getRandoms() {
        try {
-            return new URL(properties.getProperty("randoms_jar"));
+            String randomsUrl = properties.getProperty("randoms_jar");
+            if (randomsUrl == null || randomsUrl.length() == 0) {
+                randomsUrl = Configuration.GET_RANDOMS + (Configuration.BOT_VERSION.isNightly() ? Configuration.NIGHTLY_APPEND : "");
+            }
+            return new URL(randomsUrl);
        } catch (MalformedURLException e) {
            e.printStackTrace();
        }