From: Christian Heller <c.heller@plomlompom.de>
Date: Wed, 24 Sep 2025 13:45:03 +0000 (+0200)
Subject: Revert erroneous removal of sys_exit.
X-Git-Url: https://plomlompom.com/repos/?a=commitdiff_plain;h=39dc93e3e5da67fb5d773c84f07dffaba30aed65;p=ytplom

Revert erroneous removal of sys_exit.
---

diff --git a/src/run.py b/src/run.py
index 09bb711..adc4179 100755
--- a/src/run.py
+++ b/src/run.py
@@ -2,7 +2,7 @@
 """Match command line calls to appropriate scripts."""
 
 # standard libs
-from sys import argv
+from sys import argv, exit as sys_exit
 # non-standard libs
 from plomlib.setup import dependency_hint
 try: