]> matita.cs.unibo.it Git - helm.git/commitdiff
bugfix: catch new exceptions for unsupported HTTP versions and methods
authorStefano Zacchiroli <zack@upsilon.cc>
Mon, 3 Feb 2003 20:40:56 +0000 (20:40 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Mon, 3 Feb 2003 20:40:56 +0000 (20:40 +0000)
helm/DEVEL/ocaml-http/http_daemon.ml

index 39a74bb652fc686e070b2ec8a10714324a4fbc81..6b2818ec1a6995b6460da5999cb634cf5d86fcab 100644 (file)
@@ -301,7 +301,7 @@ let rec wrap_parse_request_w_safety parse_function inchan outchan =
           "<br />\nwhile received request 1st line was:<br />\n" ^ req)
         outchan;
       raise Again
-  | (Unsupported_method meth) as e ->
+  | (Invalid_HTTP_method meth) as e ->
       debug_print (pp_parse_exc e);
       respond_error
         ~code:501
@@ -312,7 +312,7 @@ let rec wrap_parse_request_w_safety parse_function inchan outchan =
       debug_print (pp_parse_exc e);
       respond_error ~code:400 ~body:("Malformed URL: '" ^ uri ^ "'") outchan;
       raise Again
-  | (Unsupported_HTTP_version version) as e ->
+  | (Invalid_HTTP_version version) as e ->
       debug_print (pp_parse_exc e);
       respond_error
         ~code:505