Guard against accidental blanks in developer.properties

This commit is contained in:
Jim Blake 2015-06-09 11:36:15 -04:00
parent 5db470d307
commit f993cf85ab

View file

@ -98,6 +98,7 @@ public class DeveloperSettings {
for (Key key : Key.values()) { for (Key key : Key.values()) {
String s = changedSettings.get(key); String s = changedSettings.get(key);
if (s != null) { if (s != null) {
s = s.trim();
if (key.isBoolean()) { if (key.isBoolean()) {
settings.put(key, Boolean.valueOf(s).toString()); settings.put(key, Boolean.valueOf(s).toString());
} else { } else {