summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorNicolas Chauvat <nicolas.chauvat@logilab.fr>2013-05-20 15:52:24 +0200
committerNicolas Chauvat <nicolas.chauvat@logilab.fr>2013-05-20 15:52:24 +0200
commitfb600a34111425760cd5745a18fcd07dc9c18218 (patch)
tree9199f6f1713d640d035e9e6760e8c67f52151720
parent762931ab2262fc73a5272d656e39409c5db86e8e (diff)
downloadpylint-fb600a34111425760cd5745a18fcd07dc9c18218.tar.gz
since PyLinter._dynamic_plugins is used as a set, make it a set
-rw-r--r--lint.py4
1 files changed, 2 insertions, 2 deletions
diff --git a/lint.py b/lint.py
index 335de16..ee54b04 100644
--- a/lint.py
+++ b/lint.py
@@ -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)