X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2FDEVEL%2Focaml-http%2Fhttp_parser.mli;h=452d70765f3fe62741a9aa89f98fdb2adfa0eb5e;hb=5e72e41f4f86814e56d4b00959ccc56c71042a4c;hp=58e616bd7aea1a7fe04b65374bc5fcacfad498db;hpb=d43522a6d38fcb9081a3f0352088377bc0555231;p=helm.git

diff --git a/helm/software/DEVEL/ocaml-http/http_parser.mli b/helm/software/DEVEL/ocaml-http/http_parser.mli
index 58e616bd7..452d70765 100644
--- a/helm/software/DEVEL/ocaml-http/http_parser.mli
+++ b/helm/software/DEVEL/ocaml-http/http_parser.mli
@@ -60,6 +60,13 @@ val parse_path: Neturl.url -> string
   @raise Invalid_header if a not well formed header is encountered *)
 val parse_headers: in_channel -> (string * string) list
 
+  (** parse a Cookie header, extracting an associative list <attribute name,
+   * attribute value>. See RFC 2965
+   * @param raw_cookies: value of a "Cookies:" header
+   * @return a list of pairs cookie_name * cookie_value
+   * @raise Malformed_cookies if raw_cookies does not conform to RFC 2965 *)
+val parse_cookies: string -> (string * string) list
+
   (** given an input channel, reads from it a GET HTTP request and
   @return a pair <path, query_params> where path is a string representing the
   requested path and query_params is a list of pairs <name, value> (the GET