1
0
mirror of https://github.com/arduino/Arduino.git synced 2024-11-29 10:24:12 +01:00

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.
This commit is contained in:
Luigi 2019-12-02 14:33:45 +01:00 committed by Cristian Maglie
parent b029b2a0e1
commit 5c8c3538ee

View File

@ -51,7 +51,7 @@ import static processing.app.I18n.tr;
*/ */
public class UpdateCheck implements Runnable { public class UpdateCheck implements Runnable {
Base base; 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; static final long ONE_DAY = 24 * 60 * 60 * 1000;
@ -116,7 +116,7 @@ public class UpdateCheck implements Runnable {
options, options,
options[0]); options[0]);
if (result == JOptionPane.YES_OPTION) { 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"));
} }
} }
} }