diff options
author | Claudiu Popa <pcmanticore@gmail.com> | 2020-05-01 08:39:18 +0200 |
---|---|---|
committer | Claudiu Popa <pcmanticore@gmail.com> | 2020-05-01 09:04:42 +0200 |
commit | 156ef32c6a5d9a0069b8365dedf7e7bd8b62869c (patch) | |
tree | 55cda2c16536ab50043ffe45567a7afa4b6d0e19 /pylint/lint | |
parent | 4bae2af51ee8685abbbaf4f4d0f2027771d2b421 (diff) | |
download | pylint-git-156ef32c6a5d9a0069b8365dedf7e7bd8b62869c.tar.gz |
Revert pylint.Run's `exit` parameter to ``do_exit``
This has been inadvertently changed several releases ago to ``do_exit``.
Close #3533
Diffstat (limited to 'pylint/lint')
-rw-r--r-- | pylint/lint/run.py | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/pylint/lint/run.py b/pylint/lint/run.py index b3d0b9f76..1f92e68af 100644 --- a/pylint/lint/run.py +++ b/pylint/lint/run.py @@ -66,7 +66,9 @@ group are mutually exclusive.", def _return_one(*args): # pylint: disable=unused-argument return 1 - def __init__(self, args, reporter=None, do_exit=True): + def __init__( + self, args, reporter=None, exit=True + ): # pylint: disable=redefined-builtin self._rcfile = None self._plugins = [] self.verbose = None @@ -337,7 +339,7 @@ group are mutually exclusive.", linter.check(args) score_value = linter.generate_reports() - if do_exit: + if exit: if linter.config.exit_zero: sys.exit(0) else: |