mirror of
https://github.com/arduino/Arduino.git
synced 2025-01-19 08:52:15 +01:00
Fix simple java error in LIBRARY_INDEX_URL_GZ assignment
Being a final variable it must be assigned only once.
This commit is contained in:
parent
dc5827e08b
commit
93fc220c55
@ -80,10 +80,11 @@ public class Constants {
|
||||
String externalLibraryIndexUrl = System.getProperty("LIBRARY_INDEX_URL");
|
||||
if (externalLibraryIndexUrl != null && !"".equals(externalLibraryIndexUrl)) {
|
||||
LIBRARY_INDEX_URL = externalLibraryIndexUrl;
|
||||
LIBRARY_INDEX_URL_GZ = "";
|
||||
String externalLibraryIndexUrlGz = System.getProperty("LIBRARY_INDEX_URL_GZ");
|
||||
if (externalLibraryIndexUrlGz != null && !"".equals(externalLibraryIndexUrlGz)) {
|
||||
LIBRARY_INDEX_URL_GZ = externalLibraryIndexUrlGz;
|
||||
} else {
|
||||
LIBRARY_INDEX_URL_GZ = "";
|
||||
}
|
||||
} else {
|
||||
LIBRARY_INDEX_URL = "http://downloads.arduino.cc/libraries/library_index.json";
|
||||
|
Loading…
x
Reference in New Issue
Block a user