diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 1996-09-06 16:52:29 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 1996-09-06 16:52:29 +0000 |
| commit | 2773be138bd03d76193b3e162c1ed34354efa50f (patch) | |
| tree | c1a2a4563788f08820c772d8afe378f093bf8737 /otherlibs/win32unix/unix.mli | |
| parent | 4426de9a130b4abef0f417b3a396a3aed70528c2 (diff) | |
Suite du portage
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@963 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'otherlibs/win32unix/unix.mli')
| -rw-r--r-- | otherlibs/win32unix/unix.mli | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/otherlibs/win32unix/unix.mli b/otherlibs/win32unix/unix.mli index 6a29d9586..bfb6db69f 100644 --- a/otherlibs/win32unix/unix.mli +++ b/otherlibs/win32unix/unix.mli @@ -566,6 +566,18 @@ external setsockopt : file_descr -> socket_option -> bool -> unit = "unix_setsockopt" (* Set or clear an option in the given socket. *) +(*** High-level network connection functions *) + +val open_connection : sockaddr -> in_channel * out_channel + (* Connect to a server at the given address. + Return a pair of buffered channels connected to the server. + Remember to call [flush] on the output channel at the right times + to ensure correct synchronization. *) +val shutdown_connection : in_channel -> unit + (* ``Shut down'' a connection established with [open_connection]; + that is, transmit an end-of-file condition to the server reading + on the other side of the connection. *) + (*** Host and protocol databases *) type host_entry = |