From ad776072298e41352bdff31f3d4c28d44ef006c1 Mon Sep 17 00:00:00 2001
From: Niko Strijbol <strijbol.niko@gmail.com>
Date: Fri, 24 Nov 2023 15:13:58 +0100
Subject: [PATCH] Fix crash in Pylint 3

Since https://github.com/pylint-dev/pylint/pull/3554, do_exit has been
deprecated, so don't use it any more.
---
 tested/languages/python/linter.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tested/languages/python/linter.py b/tested/languages/python/linter.py
index f81cf58a..10574bd9 100644
--- 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 [