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

Fixed NPE when "tools" key was missing in package_*_index.json file

This commit is contained in:
Federico Fissore 2015-11-19 12:41:53 +01:00
parent 65d220d7f4
commit 907af81ff9

View File

@ -61,6 +61,9 @@ public abstract class ContributedPackage {
}
public ContributedTool findTool(String name, String version) {
if (getTools() == null) {
return null;
}
for (ContributedTool tool : getTools()) {
if (tool.getName().equals(name) && tool.getVersion().equals(version))
return tool;