X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Focaml-http%2Fhttp_types.ml;h=fa09a3d5c72023d428f19b09b07bf6c410fa5a0a;hb=28094cb186c862ac29f95e32f146ebaa59becb5a;hp=ebbcbcc3519b6ef746f2e3580ad275fe1744f7af;hpb=9d2fb169bfc461d247338137458cbecc924d9208;p=helm.git

diff --git a/helm/DEVEL/ocaml-http/http_types.ml b/helm/DEVEL/ocaml-http/http_types.ml
index ebbcbcc35..fa09a3d5c 100644
--- a/helm/DEVEL/ocaml-http/http_types.ml
+++ b/helm/DEVEL/ocaml-http/http_types.ml
@@ -179,6 +179,9 @@ class type request =
     method param: string -> string
     method paramAll: string -> string list
     method params: (string * string) list
+    method clientSockaddr: Unix.sockaddr
+    method clientAddr: string
+    method clientPort: int
   end
 class type connection =
   object