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

diff --git a/helm/DEVEL/ocaml-http/http_request.ml b/helm/DEVEL/ocaml-http/http_request.ml
index 4eec70279..c135c95b3 100644
--- a/helm/DEVEL/ocaml-http/http_request.ml
+++ b/helm/DEVEL/ocaml-http/http_request.ml
@@ -22,7 +22,8 @@
 open Http_common;;
 open Http_types;;
 
-class request ~path ~params =
+class request ~path ~params ~clisockaddr =
+  let (addr, port) = Http_misc.explode_sockaddr clisockaddr in
   object (self)
     val params_tbl =
       let tbl = Hashtbl.create (List.length params) in
@@ -40,5 +41,8 @@ class request ~path ~params =
         raise (Param_not_found name)
     method paramAll name = List.rev (Hashtbl.find_all params_tbl name)
     method params = params
+    method clientSockaddr = clisockaddr
+    method clientAddr = addr
+    method clientPort = port
   end