From 7fe6c7e78bc0f25643346201f7977e4dad6a87e6 Mon Sep 17 00:00:00 2001
From: Kovid Goyal <kovid@kovidgoyal.net>
Date: Fri, 25 Sep 2020 18:58:03 +0530
Subject: [PATCH] Also handle EOFError

---
 kittens/hyperlinked_grep/main.py | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/kittens/hyperlinked_grep/main.py b/kittens/hyperlinked_grep/main.py
index 78f110e10..363295b25 100644
--- a/kittens/hyperlinked_grep/main.py
+++ b/kittens/hyperlinked_grep/main.py
@@ -56,6 +56,8 @@ def main() -> None:
     except KeyboardInterrupt:
         p.send_signal(signal.SIGINT)
         p.stdout.close()
+    except EOFError:
+        p.stdout.close()
     raise SystemExit(p.wait())