X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Focaml-http%2Fhttp_request.mli;h=ee3494fee6e26c49a0395f7421fd22f185f277ae;hb=89262281b6e83bd2321150f81f1a0583645eb0c8;hp=8cc2234444c8ab2c5c6025a2bbc5244918a3c62c;hpb=28094cb186c862ac29f95e32f146ebaa59becb5a;p=helm.git

diff --git a/helm/DEVEL/ocaml-http/http_request.mli b/helm/DEVEL/ocaml-http/http_request.mli
index 8cc223444..ee3494fee 100644
--- a/helm/DEVEL/ocaml-http/http_request.mli
+++ b/helm/DEVEL/ocaml-http/http_request.mli
@@ -19,12 +19,9 @@
   Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
 *)
 
+open Http_types;;
+
   (** OO representation of an HTTP request
-  @param path path requested by client
-  @param params list of <name, value> bindings enclosed in request
-  @param clisockaddr client's Unix.sockaddr *)
-class request:
-  path: string -> params: (string * string) list ->
-  clisockaddr: Unix.sockaddr ->
-    Http_types.request
+  @param inchan input channel from which parse an HTTP request *)
+class request: in_channel -> Http_types.request