Fix crash in Pylint 3

Since pylint-dev/pylint#3554, do_exit has been deprecated, so don't use it any more.
dodona-edu · Nov 24, 2023 · ad77607 · ad77607
1 parent c5f0b09
commit ad77607
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tested/languages/python/linter.py b/tested/languages/python/linter.py
@@ -43,7 +43,7 @@ def run_pylint(
     try:
         args = [f"--rcfile={config_path}", str(submission)]
         logger.debug("Running with template_args %s", args)
-        lint.Run(args, reporter=JSONReporter(output=pylint_out), do_exit=False)
+        lint.Run(args, reporter=JSONReporter(output=pylint_out), exit=False)
     except Exception as e:
         logger.warning("Pylint crashed with", exc_info=e)
         return [