From c854531d1c45ba7756bafd747f19af6271d47fc0 Mon Sep 17 00:00:00 2001 From: jerick Date: Sat, 9 Aug 2025 16:03:51 -0400 Subject: [PATCH] Forgot one --- random_timer.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/random_timer.py b/random_timer.py index f6812d1..7a0a926 100755 --- a/random_timer.py +++ b/random_timer.py @@ -90,7 +90,7 @@ def main(): while True: try: cmd = input("\n> ").strip().lower() - except EOFError: # Ctrl‑D + except EOFError: break if cmd in ("exit", "quit"):