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
commit6b40f8ec563e0b5674fd2f80d0fea9cf9231258f (patch)
tree428a846c4a8989028e519b89c35e821e91747ece
parent8128c90078222725094ee5cf1020676ff8694283 (diff)
downloadpylint-git-6b40f8ec563e0b5674fd2f80d0fea9cf9231258f.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 335de16e8..ee54b04f1 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)