Allow splash image to be updated via network

Author: cmaglie

app/src/cc/arduino/view/SplashScreenHelper.java

@@ -31,11 +31,18 @@
 
 package cc.arduino.view;
 
-import java.awt.*;
+import java.awt.Color;
+import java.awt.FontMetrics;
+import java.awt.Graphics2D;
+import java.awt.SplashScreen;
+import java.awt.Toolkit;
 import java.awt.geom.Rectangle2D;
+import java.io.File;
+import java.io.IOException;
 import java.util.Map;
 
 import processing.app.Theme;
+import processing.app.UpdateCheck;
 
 public class SplashScreenHelper {
 
@@ -57,6 +64,10 @@ public SplashScreenHelper(SplashScreen splash) {
     } else {
       desktopHints = null;
     }
+    File image = UpdateCheck.getUpdatedSplashImageFile();
+    if (image != null) {
+      splashImage(image);
+    }
   }
 
   public void splashText(String text) {
@@ -120,4 +131,12 @@ private void printText(String str) {
     System.err.println(str);
   }
 
+  public void splashImage(File f) {
+    try {
+      splash.setImageURL(f.toURI().toURL());
+    } catch (NullPointerException | IllegalStateException | IOException e) {
+      e.printStackTrace();
+    }
+  }
+
 }

app/src/processing/app/UpdateCheck.java

@@ -124,8 +124,44 @@ public void run() {
       //e.printStackTrace();
       //System.err.println("Error while trying to check for an update.");
     }
+
+    try {
+      // Check for updates of the splash screen
+      List<String> lines = readFileFromURL("https://go.bug.st/latest_splash.txt");
+      if (lines.size() > 0) {
+        // if the splash image has been changed download the new file
+        String newSplashUrl = lines.get(0);
+        String oldSplashUrl = PreferencesData.get("splash.imageurl");
+        if (!newSplashUrl.equals(oldSplashUrl)) {
+          File tmpFile = BaseNoGui.getSettingsFile("splash.png.tmp");
+          downloadFileFromURL(newSplashUrl, tmpFile);
+          File destFile = BaseNoGui.getSettingsFile("splash.png");
+          Files.move(tmpFile.toPath(), destFile.toPath(),
+                     StandardCopyOption.REPLACE_EXISTING);
+          PreferencesData.set("splash.imageurl", newSplashUrl);
+        }
+
+        // extend expiration by 24h
+        PreferencesData.setLong("splash.expire", now + ONE_DAY);
+      }
+    } catch (Exception e) {
+      // e.printStackTrace();
+    }
   }
 
+  public static File getUpdatedSplashImageFile() {
+    if (PreferencesData.has("splash.expire")) {
+      Long expire = PreferencesData.getLong("splash.expire");
+      long now = System.currentTimeMillis();
+      if (expire != null && now < expire) {
+        File f = BaseNoGui.getSettingsFile("splash.png");
+        if (f.isFile()) {
+          return f;
+        }
+      }
+    }
+    return null;
+  }
 
   protected int readIntFromURL(String _url) throws Exception {
     List<String> lines = readFileFromURL(_url);