mirror of
https://github.com/kovidgoyal/kitty.git
synced 2026-06-25 10:27:24 +00:00
Clean exit for client on EOF/interrupt
This commit is contained in:
parent
a79bb3add2
commit
fafd710ce3
1 changed files with 4 additions and 1 deletions
|
|
@ -142,4 +142,7 @@ def replay(raw):
|
|||
def main(path):
|
||||
raw = open(path).read()
|
||||
replay(raw)
|
||||
input()
|
||||
try:
|
||||
input()
|
||||
except (EOFError, KeyboardInterrupt):
|
||||
pass
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue