Merge pull request #466 from dodona-edu/fix/pylint-crash

Fix crash in Pylint 3
dodona-edu · Nov 24, 2023 · 7817e62 · 7817e62
2 parents c5f0b09 + ad77607
commit 7817e62
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 [