Fix error in --extra-settings feature. Refs #2789

This commit is contained in:
Justin Mayer 2020-08-13 12:07:58 +02:00
commit 45c5cb9029
2 changed files with 4 additions and 2 deletions

View file

@ -662,10 +662,12 @@ def configure_settings(settings):
def coerce_overrides(overrides):
if overrides is None:
return {}
coerced = {}
types_to_cast = {int, str}
for k, v in overrides.items():
if k not in overrides:
if k not in DEFAULT_CONFIG:
logger.warning('Override for unknown setting %s, ignoring', k)
continue
setting_type = type(DEFAULT_CONFIG[k])