X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Focaml-http%2Fhttp_misc.mli;h=8e8df902c5262fddcdd88022f393da4a4b407e89;hb=89262281b6e83bd2321150f81f1a0583645eb0c8;hp=86293404035dc2e04b22042d32bf90048c269b05;hpb=ca9cd0aeee0ce78a891f7f6091ca8704231a446d;p=helm.git

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 *)