##// END OF EJS Templates
config: Add argument to convert settings to lowercase or not....
Martin Bornhold -
r1003:7a52996d default
parent child Browse files
Show More
@@ -473,5 +473,8 b' def _list_setting(settings, name, defaul'
473 settings[name] = aslist(raw_value)
473 settings[name] = aslist(raw_value)
474
474
475
475
476 def _string_setting(settings, name, default):
476 def _string_setting(settings, name, default, lower=True):
477 settings[name] = settings.get(name, default).lower()
477 value = settings.get(name, default)
478 if lower:
479 value = value.lower()
480 settings[name] = value
General Comments 0
You need to be logged in to leave comments. Login now