From ea8bed2a71c5f4d8a71993f918d4e0185fe5535b Mon Sep 17 00:00:00 2001 From: Kovid Goyal Date: Fri, 20 May 2022 20:45:08 +0530 Subject: [PATCH] Fix #5113 --- kittens/hyperlinked_grep/main.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/kittens/hyperlinked_grep/main.py b/kittens/hyperlinked_grep/main.py index f9f30f489..3c84998b4 100644 --- a/kittens/hyperlinked_grep/main.py +++ b/kittens/hyperlinked_grep/main.py @@ -59,7 +59,7 @@ def main() -> None: write(line) except KeyboardInterrupt: p.send_signal(signal.SIGINT) - except EOFError: + except (EOFError, BrokenPipeError): pass finally: p.stdout.close()