diff options
author | Jacob Walls <jacobtylerwalls@gmail.com> | 2023-05-14 09:06:16 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-05-14 09:06:16 -0400 |
commit | 4e48d46b7239c2d7a70a05929fd49595d45cc29f (patch) | |
tree | acec40ebd24109f8ef06ed8b93c0f940fa24ea9a /pylint/lint/parallel.py | |
parent | aed3c080388a8dc1d44c1a14a5ed243233f77c1c (diff) | |
download | pylint-git-4e48d46b7239c2d7a70a05929fd49595d45cc29f.tar.gz |
Load custom plugins when linting in parallel (#8683)
Diffstat (limited to 'pylint/lint/parallel.py')
-rw-r--r-- | pylint/lint/parallel.py | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/pylint/lint/parallel.py b/pylint/lint/parallel.py index e57c7e8ab..72f770043 100644 --- a/pylint/lint/parallel.py +++ b/pylint/lint/parallel.py @@ -52,6 +52,11 @@ def _worker_initialize( _worker_linter.set_reporter(reporters.CollectingReporter()) _worker_linter.open() + # Re-register dynamic plugins, since the pool does not have access to the + # astroid module that existed when the linter was pickled. + _worker_linter.load_plugin_modules(_worker_linter._dynamic_plugins, force=True) + _worker_linter.load_plugin_configuration() + if extra_packages_paths: _augment_sys_path(extra_packages_paths) |