From c31e8d796784f8f967ac3221e50968c67f1ee470 Mon Sep 17 00:00:00 2001
From: Luigi <27034386+luigigubello@users.noreply.github.com>
Date: Mon, 2 Dec 2019 14:33:45 +0100
Subject: [PATCH] Changing URLs from HTTP to HTTPS

I have changed the URLs from `http` to `httpst`. In particular the page `latest.txt` can be reached on both port 80 and port 443.
---
 app/src/processing/app/UpdateCheck.java | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/app/src/processing/app/UpdateCheck.java b/app/src/processing/app/UpdateCheck.java
index 5350c8fd609..cdca1b71783 100644
--- a/app/src/processing/app/UpdateCheck.java
+++ b/app/src/processing/app/UpdateCheck.java
@@ -51,7 +51,7 @@
  */
 public class UpdateCheck implements Runnable {
   Base base;
-  String downloadURL = tr("http://www.arduino.cc/latest.txt");
+  String downloadURL = tr("https://www.arduino.cc/latest.txt");
 
   static final long ONE_DAY = 24 * 60 * 60 * 1000;
 
@@ -116,7 +116,7 @@ public void run() {
                                                     options,
                                                     options[0]);
           if (result == JOptionPane.YES_OPTION) {
-            Base.openURL(tr("http://www.arduino.cc/en/Main/Software"));
+            Base.openURL(tr("https://www.arduino.cc/en/Main/Software"));
           }
         }
       }