From b971fa1cca03ea24b633badbcf785b227a5a01fc Mon Sep 17 00:00:00 2001
From: Thomas Leonard <talex5@gmail.com>
Date: Thu, 21 Nov 2024 15:00:52 +0000
Subject: [PATCH] eio_windows: group ECONNABORTED with other connection reset
 errors

Windows returns this if the other end disconnects (seen while testing
with both ends on the same machine).
---
 lib_eio_windows/err.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lib_eio_windows/err.ml b/lib_eio_windows/err.ml
index f813a06c1..2622c4676 100755
--- a/lib_eio_windows/err.ml
+++ b/lib_eio_windows/err.ml
@@ -20,7 +20,7 @@ let wrap code name arg =
   | ENOENT -> Eio.Fs.err (Not_found e)
   | EXDEV | EACCES | EPERM -> Eio.Fs.err (Permission_denied e)
   | ECONNREFUSED -> Eio.Net.err (Connection_failure (Refused e))
-  | ECONNRESET | EPIPE -> Eio.Net.err (Connection_reset e)
+  | ECONNRESET | EPIPE | ECONNABORTED -> Eio.Net.err (Connection_reset e)
   | _ -> unclassified_error e
 
 let run fn x =