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).
talex5 · Nov 21, 2024 · b971fa1 · b971fa1
1 parent 2d9e24a
commit b971fa1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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 =