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 ()