From fafd710ce3bd9b3e4aa22b84635a4a72f0f88746 Mon Sep 17 00:00:00 2001 From: Kovid Goyal Date: Fri, 26 May 2017 12:36:36 +0530 Subject: [PATCH] Clean exit for client on EOF/interrupt --- kitty/client.py | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/kitty/client.py b/kitty/client.py index 11ba4a46e..2b5fd61c5 100644 --- a/kitty/client.py +++ b/kitty/client.py @@ -142,4 +142,7 @@ def replay(raw): def main(path): raw = open(path).read() replay(raw) - input() + try: + input() + except (EOFError, KeyboardInterrupt): + pass