diff options
author | Nicolas Chauvat <nicolas.chauvat@logilab.fr> | 2013-05-20 15:52:24 +0200 |
---|---|---|
committer | Nicolas Chauvat <nicolas.chauvat@logilab.fr> | 2013-05-20 15:52:24 +0200 |
commit | fb600a34111425760cd5745a18fcd07dc9c18218 (patch) | |
tree | 9199f6f1713d640d035e9e6760e8c67f52151720 | |
parent | 762931ab2262fc73a5272d656e39409c5db86e8e (diff) | |
download | pylint-fb600a34111425760cd5745a18fcd07dc9c18218.tar.gz |
since PyLinter._dynamic_plugins is used as a set, make it a set
-rw-r--r-- | lint.py | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -322,7 +322,7 @@ This is used by the global evaluation report (RP0004).'}), self.report_evaluation), ) self.register_checker(self) - self._dynamic_plugins = [] + self._dynamic_plugins = set() self.load_provider_defaults() self.set_reporter(reporter or TextReporter(sys.stdout)) @@ -348,7 +348,7 @@ This is used by the global evaluation report (RP0004).'}), for modname in modnames: if modname in self._dynamic_plugins: continue - self._dynamic_plugins.append(modname) + self._dynamic_plugins.add(modname) module = load_module_from_name(modname) module.register(self) |