X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Focaml-http%2Fhttp_parser.mli;h=1cc7aff00d029fd729d277a1f23cd38dfaa55ecf;hb=67460d22396d5fc3a5dffce07b2779e4b7960582;hp=e2f9287c8da61f5ac984c54e69ecd96ff937958f;hpb=87d44a80101fe624927423b2ab2f1e7586443c07;p=helm.git

diff --git a/helm/DEVEL/ocaml-http/http_parser.mli b/helm/DEVEL/ocaml-http/http_parser.mli
index e2f9287c8..1cc7aff00 100644
--- a/helm/DEVEL/ocaml-http/http_parser.mli
+++ b/helm/DEVEL/ocaml-http/http_parser.mli
@@ -39,6 +39,12 @@ val split_query_params: string -> (string * string) list
   @raise Malformed_request_URI if requested URI isn't well formed *)
 val parse_request_fst_line: in_channel -> meth * Neturl.url * version option
 
+  (** parse 1st line of an HTTP response
+   * @param inchan input channel from which parse response
+   * @raise Malformed_response if first line isn't well formed
+  *)
+val parse_response_fst_line: in_channel -> version * status
+
   (** parse HTTP GET parameters from an URL; paramater which were passed with no
   value (like 'x' in "/foo.cgi?a=10&x=&c=9") are returned associated with the
   empty ("") string.