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

diff --git a/helm/DEVEL/ocaml-http/http_misc.mli b/helm/DEVEL/ocaml-http/http_misc.mli
index 6e5fdfcf6..8e8df902c 100644
--- a/helm/DEVEL/ocaml-http/http_misc.mli
+++ b/helm/DEVEL/ocaml-http/http_misc.mli
@@ -62,4 +62,19 @@ val explode_sockaddr: Unix.sockaddr -> string * int
 val peername_of_out_channel: out_channel -> Unix.sockaddr
   (** as above but works on in_channels *)
 val peername_of_in_channel: in_channel -> Unix.sockaddr
+  (** given an out_channel build on top of a socket, return sockname related to
+  that socket *)
+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 *)
+val buf_of_inchan: ?limit: int -> in_channel -> Buffer.t
+
+  (** like List.assoc but return all bindings of a given key instead of the
+  leftmost one only *)
+val list_assoc_all: 'a -> ('a * 'b) list -> 'b list