]> matita.cs.unibo.it Git - helm.git/commitdiff
- added a TODO comment
authorStefano Zacchiroli <zack@upsilon.cc>
Sun, 5 Jan 2003 14:11:04 +0000 (14:11 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Sun, 5 Jan 2003 14:11:04 +0000 (14:11 +0000)
helm/DEVEL/ocaml-http/http_misc.mli

index 86293404035dc2e04b22042d32bf90048c269b05..8e8df902c5262fddcdd88022f393da4a4b407e89 100644 (file)
@@ -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 *)