Fix subtle bug that would cause problems when using multiple plumbers in the same process, as happens when importing HTML files in the GUI

This commit is contained in:
Kovid Goyal 2009-07-16 14:49:36 -06:00
parent 5962e7f641
commit 7f308db1d2

View File

@ -465,6 +465,12 @@ OptionRecommendation(name='list_recipes',
# Remove the options that have been disabled by recommendations from the # Remove the options that have been disabled by recommendations from the
# plugins. # plugins.
for w in ('input_options', 'output_options',
'all_format_options'):
temp = set([])
for x in getattr(self, w):
temp.add(x.clone())
setattr(self, w, temp)
self.merge_plugin_recommendations() self.merge_plugin_recommendations()
@classmethod @classmethod