diff options
Diffstat (limited to 'otherlibs/win32unix/unix.ml')
| -rw-r--r-- | otherlibs/win32unix/unix.ml | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/otherlibs/win32unix/unix.ml b/otherlibs/win32unix/unix.ml index 188d95d89..eb16b8a8c 100644 --- a/otherlibs/win32unix/unix.ml +++ b/otherlibs/win32unix/unix.ml @@ -483,7 +483,11 @@ external socket_internal : let socket dom typ proto = socket_internal dom typ proto true let async_socket dom typ proto = socket_internal dom typ proto false let socketpair dom ty proto = invalid_arg "Unix.socketpair not implemented" -external accept : file_descr -> file_descr * sockaddr = "unix_accept" + +external accept_internal : + file_descr -> bool -> file_descr * sockaddr = "unix_accept" +let accept s = accept_internal s true +let async_accept s = accept_internal s false external bind : file_descr -> sockaddr -> unit = "unix_bind" external connect : file_descr -> sockaddr -> unit = "unix_connect" external listen : file_descr -> int -> unit = "unix_listen" |