diff --git a/sinner/utilities.py b/sinner/utilities.py index 78fc5703..82117df7 100644 --- a/sinner/utilities.py +++ b/sinner/utilities.py @@ -288,3 +288,7 @@ def suggest_temp_dir(initial: str | None = None) -> str: def seconds_to_hmsms(seconds: float) -> str: time_format = datetime.utcfromtimestamp(seconds).strftime("%H:%M:%S.%f") return time_format[:-3] # Remove the last three digits to get milliseconds + + +def halt() -> None: + os._exit(0)