From 31ee23e75d8c2fbfb5e66eab761ea96ae4144efe Mon Sep 17 00:00:00 2001 From: Anders Fugmann Date: Tue, 17 Jan 2023 23:18:18 +0100 Subject: [PATCH] Fix compilation with latest eio --- lib/connection.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/lib/connection.ml b/lib/connection.ml index 9f32cd7..35c7d11 100644 --- a/lib/connection.ml +++ b/lib/connection.ml @@ -255,7 +255,7 @@ let receive_messages ~set_close_reason flow channels = loop () with | End_of_file - | Eio.Net.Connection_reset _ -> + | Eio.Io (Eio.Net.E Connection_reset _, _) -> let exn = set_close_reason (Closed "Connection lost") in Eio.traceln ~__POS__ "Connection lost: %s" (Printexc.to_string exn); Stream.close (Option.get channels.(0) |> fst) exn @@ -280,7 +280,7 @@ let send_messages ~set_close_reason flow send_stream = loop () with | End_of_file - | Eio.Net.Connection_reset _ -> + | Eio.Io (Eio.Net.E Connection_reset _, _) -> let exn = set_close_reason (Closed "Connection lost") in Eio.traceln ~__POS__ "Connection closed: %s" (Printexc.to_string exn); Stream.close send_stream exn