X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Focaml-http%2Fhttp_request.mli;h=d85ceb278104ac5cdc29e272d8285571b4196119;hb=5325734bc2e4927ed7ec146e35a6f0f2b49f50c1;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..d85ceb278 100644
--- a/helm/DEVEL/ocaml-http/http_request.mli
+++ b/helm/DEVEL/ocaml-http/http_request.mli
@@ -19,12 +19,11 @@
   Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
 *)
 
+(** Object Oriented representation of HTTP requests *)
+
+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