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 | 6b40f8ec563e0b5674fd2f80d0fea9cf9231258f (patch) | |
tree | 428a846c4a8989028e519b89c35e821e91747ece | |
parent | 8128c90078222725094ee5cf1020676ff8694283 (diff) | |
download | pylint-git-6b40f8ec563e0b5674fd2f80d0fea9cf9231258f.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) |