From: Stefano Zacchiroli Date: Sun, 5 Jan 2003 14:11:04 +0000 (+0000) Subject: - added a TODO comment X-Git-Tag: v0_3_99~94 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=d06896935901d5a886288bcb3cd535d4ea5a65be;p=helm.git - added a TODO comment --- diff --git a/helm/DEVEL/ocaml-http/http_misc.mli b/helm/DEVEL/ocaml-http/http_misc.mli index 862934040..8e8df902c 100644 --- a/helm/DEVEL/ocaml-http/http_misc.mli +++ b/helm/DEVEL/ocaml-http/http_misc.mli @@ -68,6 +68,7 @@ val sockname_of_out_channel: out_channel -> Unix.sockaddr (** as above but works on in_channels *) val sockname_of_in_channel: in_channel -> Unix.sockaddr + (* TODO replace with Buffer.add_channel which does almost the same :-((( *) (** reads from an input channel till it End_of_file and returns what has been read; if limit is given returned buffer will contains at most first 'limit' bytes read from input channel *)