rooty/Arduino
1
0
Fork 0
mirror of https://github.com/arduino/Arduino.git synced 2025-01-20 09:52:13 +01:00
Code Issues Releases Activity

Fix download package index from external sources

Browse Source
This commit is contained in:
Mattia Bertorello 2019-07-03 18:38:08 +02:00
parent 9e38c878ec
commit 412b6d1bf3
No known key found for this signature in database
GPG Key ID: CE1FB2BE91770F24
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
arduino-core/src/cc/arduino/contributions/DownloadableContributionsDownloader.java
View File

@ -170,6 +170,8 @@ public class DownloadableContributionsDownloader {
downloadedFilesAccumulator.remove(packageIndex.getName());
}
} else {
// Move the package index to the destination when the signature is not necessary
Files.move(packageIndexTemp.toPath(), packageIndex.toPath(), StandardCopyOption.REPLACE_EXISTING);
log.info("The domain is not selected to verify the signature. packageIndex: {}", packageIndexUrl);
}
} catch (Exception e) {