Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Unix.socketpair fails occasionally on Windows #259

Open
polytypic opened this issue Sep 3, 2024 · 1 comment
Open

Unix.socketpair fails occasionally on Windows #259

polytypic opened this issue Sep 3, 2024 · 1 comment

Comments

@polytypic
Copy link
Collaborator

polytypic commented Sep 3, 2024

Tests, such as this example, using Unix.socketpair occasionally fail on Windows:

--- a/_build/default/lib/picos_io/picos_io.mli
+++ b/_build/default/lib/picos_io/.mdx/picos_io.mli.corrected
@@ -753,7 +753,5 @@ end
           send_string "Hello, world!";
           send_string "POSIX with OCaml";
         end
-      Hello, world!
-      POSIX with OCaml
-      - : unit = ()
+      Exception: Unix.Unix_error(Unix.EADDRINUSE, "socketpair", "")
     ]} *)

Looking at the documentation of socketpair, the EADDRINUSE error is not mentioned.

@polytypic
Copy link
Collaborator Author

polytypic commented Sep 9, 2024

Picos_io now has a workaround (attempt) for this issue: #269

Let’s close this issue after it has been fixed in the unix library.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant