[enh] admin configurable suspend time of errored engines - closes #1266

This commit is contained in:
Adam Tauber 2018-08-19 15:29:52 +02:00
parent 69d1dd3f86
commit f7bb45e891
3 changed files with 8 additions and 3 deletions

View file

@ -264,7 +264,9 @@ class Preferences(object):
'False': False,
'True': True}),
'doi_resolver': MultipleChoiceSetting(['oadoi.org'], choices=DOI_RESOLVERS),
'oscar-style': EnumStringSetting(settings['ui'].get('theme_args', {}).get('oscar_style', 'logicodev'), choices=['', 'logicodev', 'logicodev-dark', 'pointhi']),
'oscar-style': EnumStringSetting(
settings['ui'].get('theme_args', {}).get('oscar_style', 'logicodev'),
choices=['', 'logicodev', 'logicodev-dark', 'pointhi']),
}
self.engines = EnginesSetting('engines', choices=engines)