diff options
Diffstat (limited to 'pylint/lint/parallel.py')
-rw-r--r-- | pylint/lint/parallel.py | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/pylint/lint/parallel.py b/pylint/lint/parallel.py index 29fc2c1d0..9b666f06c 100644 --- a/pylint/lint/parallel.py +++ b/pylint/lint/parallel.py @@ -122,7 +122,9 @@ def check_parallel(linter, jobs, files, arguments=None): # is identical to the linter object here. This is required so that # a custom PyLinter object can be used. initializer = functools.partial(_worker_initialize, arguments=arguments) - pool = multiprocessing.Pool(jobs, initializer=initializer, initargs=[linter]) + pool = multiprocessing.Pool( # pylint: disable=consider-using-with + jobs, initializer=initializer, initargs=[linter] + ) # ..and now when the workers have inherited the linter, the actual reporter # can be set back here on the parent process so that results get stored into # correct reporter |