rooty/Arduino
1
0
Fork 0
mirror of https://github.com/arduino/Arduino.git synced 2025-02-20 14:54:31 +01:00
Code Issues Releases Activity

Immediately re-parse library_index.json after updating it

Browse Source
This commit is contained in:
Cristian Maglie 2018-09-05 18:12:34 +02:00 committed by Cristian Maglie
parent 34baa40953
commit 0b4c4bbcf2
1 changed files with 5 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
arduino-core/src/cc/arduino/contributions/libraries/LibraryInstaller.java
View File

@ -56,7 +56,7 @@ public class LibraryInstaller {
}
public synchronized void updateIndex(ProgressListener progressListener) throws Exception {
final MultiStepProgress progress = new MultiStepProgress(2);
final MultiStepProgress progress = new MultiStepProgress(3);
DownloadableContributionsDownloader downloader = new DownloadableContributionsDownloader(BaseNoGui.librariesIndexer.getStagingFolder());
// Step 1: Download index
@ -79,7 +79,10 @@ public class LibraryInstaller {
if (!tmpFile.renameTo(outputFile))
throw new Exception(tr("An error occurred while updating libraries index!"));
// Step 2: Rescan index
// Step 2: Parse index
BaseNoGui.librariesIndexer.parseIndex();
// Step 3: Rescan index
rescanLibraryIndex(progress, progressListener);
}