1
0
mirror of https://github.com/arduino/Arduino.git synced 2025-02-18 12:54:25 +01:00

Don't stop downloading package*index.json files if ONE fails for whatever reason. Fixes #3906

This commit is contained in:
Federico Fissore 2015-10-07 15:32:19 +02:00
parent 417857ee45
commit 5c7b8e6587

View File

@ -282,7 +282,11 @@ public class ContributionInstaller {
}
for (String packageIndexURL : packageIndexURLs) {
downloadIndexAndSignature(progress, downloadedPackageIndexFilesAccumulator, packageIndexURL, progressListener);
try {
downloadIndexAndSignature(progress, downloadedPackageIndexFilesAccumulator, packageIndexURL, progressListener);
} catch (Exception e) {
System.err.println(e.getMessage());
}
}
progress.stepDone();