diff options
| -rw-r--r-- | Changes | 1 | ||||
| -rw-r--r-- | otherlibs/unix/unix.mli | 4 |
2 files changed, 4 insertions, 1 deletions
@@ -88,6 +88,7 @@ Bug fixes: - PR#6173: Typing error message is worse that before - PR#6174: OCaml compiler loops on an example using GADTs (non -rectypes) - PR#6175: Fix open! +- PR#6183: enhanced documentation for 'Unix.shutdown_connection' - PR#6216: inlining of GADT matches generates invalid assembly - PR#6233: out-of-bounds exceptions lose their locations on ARM, PowerPC - PR#6235: Issue with type information flowing through a variant pattern diff --git a/otherlibs/unix/unix.mli b/otherlibs/unix/unix.mli index e84eea54b..d8a15753e 100644 --- a/otherlibs/unix/unix.mli +++ b/otherlibs/unix/unix.mli @@ -1101,7 +1101,9 @@ val open_connection : sockaddr -> in_channel * out_channel val shutdown_connection : in_channel -> unit (** ``Shut down'' a connection established with {!Unix.open_connection}; that is, transmit an end-of-file condition to the server reading - on the other side of the connection. *) + on the other side of the connection. This does not fully close the + file descriptor associated with the channel, which you must remember + to free via {!Pervasives.close_in}. *) val establish_server : (in_channel -> out_channel -> unit) -> sockaddr -> unit (** Establish a server on the given address. |