1
0
mirror of https://github.com/arduino/Arduino.git synced 2025-01-17 06:52:18 +01:00

Merge pull request #3130 from PaulStoffregen/uncategorized-warning

Fix Uncategorized warning message
This commit is contained in:
Federico Fissore 2015-05-14 14:07:00 +02:00
commit 01d63f2dd1

View File

@ -131,9 +131,9 @@ public class UserLibrary extends ContributedLibrary {
if (category == null)
category = "Uncategorized";
if (!CATEGORIES.contains(category)) {
category = "Uncategorized";
System.out.println("WARNING: Category '" + category + "' in library " +
properties.get("name") + " is not valid. Setting to 'Uncategorized'");
category = "Uncategorized";
}
String license = properties.get("license");