X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Focaml-http%2Fhttp_misc.mli;h=b5972f830b0c55021b02a0fee74f76ea84c08f00;hb=0c6a5aadb1a7746681a8e26fc0b009f847c10557;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..b5972f830 100644
--- a/helm/DEVEL/ocaml-http/http_misc.mli
+++ b/helm/DEVEL/ocaml-http/http_misc.mli
@@ -2,7 +2,7 @@
 (*
   OCaml HTTP - do it yourself (fully OCaml) HTTP daemon
 
-  Copyright (C) <2002> Stefano Zacchiroli <zack@cs.unibo.it>
+  Copyright (C) <2002-2004> Stefano Zacchiroli <zack@cs.unibo.it>
 
   This program is free software; you can redistribute it and/or modify
   it under the terms of the GNU General Public License as published by
@@ -20,7 +20,7 @@
 *)
 
 (** Helpers and other not better classified functions which should not be
-visible to the final user *)
+exposed in the final API *)
 
   (** @return the current date compliant to RFC 1123, which updates RFC 822
   zone info are retrieved from UTC *)
@@ -44,6 +44,7 @@ val ls: Unix.dir_handle -> string list
 
   (** explode a string in a char list *)
 val string_explode: string -> char list
+
   (** implode a char list in a string *)
 val string_implode: char list -> string
 
@@ -53,6 +54,7 @@ val reason_phrase_of_code: int -> string
   (** build a Unix.sockaddr inet address from a string representation of an IP
   address and a port number *)
 val build_sockaddr: string * int -> Unix.sockaddr
+
   (** explode an _inet_ Unix.sockaddr address in a string representation of an
   IP address and a port number *)
 val explode_sockaddr: Unix.sockaddr -> string * int
@@ -60,6 +62,24 @@ val explode_sockaddr: Unix.sockaddr -> string * int
   (** given an out_channel build on top of a socket, return peername related to
   that socket *)
 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
+