1
0
mirror of https://github.com/arduino/Arduino.git synced 2025-01-19 08:52:15 +01:00

Download indexes using https instead of http

This commit is contained in:
Cristian Maglie 2018-09-25 13:22:23 +02:00 committed by Cristian Maglie
parent b7728beb52
commit db2dd8f003

View File

@ -74,7 +74,7 @@ public class Constants {
if (extenalPackageIndexUrl != null && !"".equals(extenalPackageIndexUrl)) { if (extenalPackageIndexUrl != null && !"".equals(extenalPackageIndexUrl)) {
PACKAGE_INDEX_URL = extenalPackageIndexUrl; PACKAGE_INDEX_URL = extenalPackageIndexUrl;
} else { } else {
PACKAGE_INDEX_URL = "http://downloads.arduino.cc/packages/package_index.json"; PACKAGE_INDEX_URL = "https://downloads.arduino.cc/packages/package_index.json";
} }
String externalLibraryIndexUrl = System.getProperty("LIBRARY_INDEX_URL"); String externalLibraryIndexUrl = System.getProperty("LIBRARY_INDEX_URL");
@ -87,8 +87,8 @@ public class Constants {
LIBRARY_INDEX_URL_GZ = ""; LIBRARY_INDEX_URL_GZ = "";
} }
} else { } else {
LIBRARY_INDEX_URL = "http://downloads.arduino.cc/libraries/library_index.json"; LIBRARY_INDEX_URL = "https://downloads.arduino.cc/libraries/library_index.json";
LIBRARY_INDEX_URL_GZ = "http://downloads.arduino.cc/libraries/library_index.json.gz"; LIBRARY_INDEX_URL_GZ = "https://downloads.arduino.cc/libraries/library_index.json.gz";
} }
} }