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

Do not fail if library_index.json can't be parsed

Browse Source 
Fix #7937
This commit is contained in:
Cristian Maglie 2018-09-03 15:17:47 +02:00 committed by Cristian Maglie
parent 3dfe85916c
commit 6ed7934ee1
1 changed files with 6 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
arduino-core/src/cc/arduino/contributions/libraries/LibrariesIndexer.java
View File

@ -73,11 +73,14 @@ public class LibrariesIndexer {
}
public void parseIndex() throws IOException {
index = new EmptyLibrariesIndex(); // Fallback
if (!indexFile.exists()) {
index = new EmptyLibrariesIndex();
} else {
parseIndex(indexFile);
return;
}
parseIndex(indexFile);
// TODO: resolve libraries inner references
}