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

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