4681: Web report crash (DenominoViso); make external plugin options work again

svn: r16750
This commit is contained in:
Michiel Nauta 2011-03-03 16:29:07 +00:00
parent 5cb86e70a5
commit eff00c25f5

View File

@ -1585,15 +1585,15 @@ def make_gui_option(option, dbstate, uistate, track):
ways, too. Takes an Option and returns a GuiOption. ways, too. Takes an Option and returns a GuiOption.
""" """
for type_, label, widget in _OPTIONS: label, widget = True, None
if isinstance(option, type_): pmgr = GuiPluginManager.get_instance()
break external_options = pmgr.get_external_opt_dict()
if option.__class__ in external_options:
widget = external_options[option.__class__]
else: else:
label, widget = True, None for type_, label, widget in _OPTIONS:
if option.__class__ in external_options: if isinstance(option, type_):
pmgr = GuiPluginManager.get_instance() break
external_options = pmgr.get_external_opt_dict()
widget = external_options[option.__class__]
else: else:
raise AttributeError( raise AttributeError(
"can't make GuiOption: unknown option type: '%s'" % option) "can't make GuiOption: unknown option type: '%s'" % option)