From 2441af95df42ed6f5a3e8fe03467be10fadfe8be Mon Sep 17 00:00:00 2001 From: Christian Heller Date: Wed, 24 Sep 2025 15:43:35 +0200 Subject: [PATCH] Revert erroneous removal of sys_exit. --- src/run.py | 1 + 1 file changed, 1 insertion(+) diff --git a/src/run.py b/src/run.py index 547aa43..92cb626 100755 --- a/src/run.py +++ b/src/run.py @@ -4,6 +4,7 @@ # standard libs from os import environ from pathlib import Path +from sys import exit as sys_exit from plomlib.setup import dependency_hint # non-standard libs try: -- 2.30.2