X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Focaml-http%2Fhttp_parser_sanity.mli;h=f421c76c79e145f49506d49074f0a4662c28e08a;hb=f189b1b19ea3f2f7ada9812a097d204c6a7b6dbd;hp=3076a42a62902d49c0a393d76733fb6d3e49add7;hpb=ca9cd0aeee0ce78a891f7f6091ca8704231a446d;p=helm.git diff --git a/helm/DEVEL/ocaml-http/http_parser_sanity.mli b/helm/DEVEL/ocaml-http/http_parser_sanity.mli index 3076a42a6..f421c76c7 100644 --- a/helm/DEVEL/ocaml-http/http_parser_sanity.mli +++ b/helm/DEVEL/ocaml-http/http_parser_sanity.mli @@ -26,6 +26,8 @@ val heal_header: string * string -> unit (** remove heading and/or trailing LWS sequences as per RFC2616 *) val normalize_header_value: string -> string + (** parse an URL from a string. + @raise Malformed_URL if an invalid URL is encountered *) val url_of_string: string -> Neturl.url val string_of_url: Neturl.url -> string