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

Get a better error message if the library_index.json can't be parsed

Browse Source 
See #7937
This commit is contained in:
Cristian Maglie 2018-09-03 15:19:13 +02:00 committed by Cristian Maglie
parent 6ed7934ee1
commit fd28ded160
1 changed files with 8 additions and 1 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

@ -31,7 +31,10 @@ package cc.arduino.contributions.libraries;
import cc.arduino.Constants;
import cc.arduino.contributions.packages.ContributedPlatform;
import com.fasterxml.jackson.core.JsonParseException;
import com.fasterxml.jackson.databind.DeserializationFeature;
import com.fasterxml.jackson.databind.JsonMappingException;
import com.fasterxml.jackson.databind.ObjectMapper;
import com.fasterxml.jackson.module.mrbean.MrBeanModule;
import org.apache.commons.compress.utils.IOUtils;
@ -101,8 +104,12 @@ public class LibrariesIndexer {
.forEach(library -> library.setCategory("Uncategorized"));
index = newIndex;
} catch (JsonParseException | JsonMappingException e) {
System.err.println(
format(tr("Error parsing libraries index: {0}\nTry to open the Library Manager to update the libraries index."),
e.getMessage()));
} catch (Exception e) {
System.err.println("Error parsing library.index:" + e.getMessage());
System.err.println(format(tr("Error reading libraries index: {0}"), e.getMessage()));
} finally {
IOUtils.closeQuietly(indexIn);
}