KittyPatch/kitty
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Fix #5113

Browse Source
This commit is contained in:
Kovid Goyal 2022-05-20 20:45:08 +05:30
parent c747e681a2
commit ea8bed2a71
No known key found for this signature in database
GPG Key ID: 06BC317B515ACE7C
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
kittens/hyperlinked_grep/main.py
View File

@ -59,7 +59,7 @@ def main() -> None:
write(line) write(line)
except KeyboardInterrupt: except KeyboardInterrupt:
p.send_signal(signal.SIGINT) p.send_signal(signal.SIGINT)
except EOFError: except (EOFError, BrokenPipeError):
pass pass
finally: finally:
p.stdout.close() p.stdout.close()