]> matita.cs.unibo.it Git - helm.git/commitdiff
added parse_response_fst_line
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 16 Dec 2003 16:49:38 +0000 (16:49 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 16 Dec 2003 16:49:38 +0000 (16:49 +0000)
helm/DEVEL/ocaml-http/http_parser.ml
helm/DEVEL/ocaml-http/http_parser.mli

index 7ab21be7f58599914b50d97c309bfa535e552be7..6f556527a825655a1fc48103308bd4d0840f0f4f 100644 (file)
@@ -106,6 +106,19 @@ let parse_request_fst_line ic =
     | _ -> raise (Malformed_request request_line))
   with Malformed_URL url -> raise (Malformed_request_URI url)
 
+let parse_response_fst_line ic =
+  let response_line = generic_input_line ~sep:crlf ~ic in
+  debug_print (sprintf "HTTP response line (not yet parsed): %s" response_line);
+  try
+    (match Pcre.split ~rex:pieces_sep response_line with
+    | [ version_raw; code_raw; _ ] ->
+        (version_of_string version_raw,             (* method *)
+        status_of_code (int_of_string code_raw))    (* status *)
+    | _ -> raise (Malformed_response response_line))
+  with
+  | Malformed_URL _ | Invalid_code _ | Failure "int_of_string" ->
+      raise (Malformed_response response_line)
+
 let parse_path uri = patch_empty_path (String.concat "/" (Neturl.url_path uri))
 let parse_query_get_params uri =
   try (* act on HTTP encoded URIs *)
index e2f9287c8da61f5ac984c54e69ecd96ff937958f..d95977df931b3ba7f0810e44ebe915fe55d15dcf 100644 (file)
@@ -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
+  *)
+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.