From: Christian Heller <c.heller@plomlompom.de>
Date: Wed, 24 Sep 2025 13:43:35 +0000 (+0200)
Subject: Revert erroneous removal of sys_exit.
X-Git-Url: https://plomlompom.com/repos/?a=commitdiff_plain;h=refs%2Fheads%2Fmaster;p=ledgplom

Revert erroneous removal of sys_exit.
---

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: