]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/ocaml-http/http_parser_sanity.ml
added support for "ancient" HTTP requests like "GET /foo"
[helm.git] / helm / DEVEL / ocaml-http / http_parser_sanity.ml
index 19204e870ba75ac52ecda5616a990ebe72df11da..be92934690e44a76a8ad6df46701439fc18560ef 100644 (file)
@@ -84,6 +84,9 @@ let heal_header (name, value) =
   heal_header_name name;
   heal_header_value name
  
-let url_of_string = url_of_string request_uri_syntax
+let url_of_string s =
+  try
+    url_of_string request_uri_syntax s
+  with Neturl.Malformed_URL -> raise (Malformed_URL s)
 let string_of_url = Neturl.string_of_url