mirror of
https://github.com/arduino/Arduino.git
synced 2024-11-29 10:24:12 +01:00
Parse the old library index file also when the signature verify fail
This commit is contained in:
parent
636f93058b
commit
3c5dbe6f9d
@ -93,12 +93,6 @@ public class LibraryInstaller {
|
|||||||
if (libraryIndexTemp.length() > 0) {
|
if (libraryIndexTemp.length() > 0) {
|
||||||
Files.move(libraryIndexTemp.toPath(), outputFile.toPath(), StandardCopyOption.REPLACE_EXISTING);
|
Files.move(libraryIndexTemp.toPath(), outputFile.toPath(), StandardCopyOption.REPLACE_EXISTING);
|
||||||
}
|
}
|
||||||
|
|
||||||
// Step 2: Parse index
|
|
||||||
BaseNoGui.librariesIndexer.parseIndex();
|
|
||||||
|
|
||||||
// Step 3: Rescan index
|
|
||||||
rescanLibraryIndex(progress, progressListener);
|
|
||||||
} else {
|
} else {
|
||||||
FileDownloader.invalidateFiles(libraryGzURL, libraryURL, signatureUrl);
|
FileDownloader.invalidateFiles(libraryGzURL, libraryURL, signatureUrl);
|
||||||
log.error("Fail to verify the signature of {} the cached files have been removed", libraryURL);
|
log.error("Fail to verify the signature of {} the cached files have been removed", libraryURL);
|
||||||
@ -107,6 +101,12 @@ public class LibraryInstaller {
|
|||||||
log.info("The domain is not selected to verify the signature. library index: {}", signatureUrl);
|
log.info("The domain is not selected to verify the signature. library index: {}", signatureUrl);
|
||||||
}
|
}
|
||||||
|
|
||||||
|
// Step 2: Parse index
|
||||||
|
BaseNoGui.librariesIndexer.parseIndex();
|
||||||
|
|
||||||
|
// Step 3: Rescan index
|
||||||
|
rescanLibraryIndex(progress, progressListener);
|
||||||
|
|
||||||
}
|
}
|
||||||
|
|
||||||
public synchronized void install(ContributedLibrary lib, Optional<ContributedLibrary> mayReplacedLib, ProgressListener progressListener) throws Exception {
|
public synchronized void install(ContributedLibrary lib, Optional<ContributedLibrary> mayReplacedLib, ProgressListener progressListener) throws Exception {
|
||||||
|
Loading…
Reference in New Issue
Block a user