From 02e678cbe261ea65b2ba055188e14050085cfa13 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Thu, 24 Oct 2024 12:55:57 -0400
Subject: [PATCH] handle `End_of_file` by exiting

---
 src/jsonrpc2.ml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/jsonrpc2.ml b/src/jsonrpc2.ml
index a341bb23..48c292c0 100644
--- a/src/jsonrpc2.ml
+++ b/src/jsonrpc2.ml
@@ -390,6 +390,7 @@ module Make (IO : IO) : S with module IO = IO = struct
         | Ok r ->
           let* () = process_msg r in
           loop ()
+        | Error (End_of_file, _) -> IO.return ()
         | Error (e, bt) -> IO.fail e bt
     in
     loop ()