From: Stefano Zacchiroli Date: Mon, 3 Feb 2003 20:40:56 +0000 (+0000) Subject: bugfix: catch new exceptions for unsupported HTTP versions and methods X-Git-Tag: V_0_0_4_1~74 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=56c392b11f3459075fec2498a3548efe26c9299a;p=helm.git bugfix: catch new exceptions for unsupported HTTP versions and methods --- diff --git a/helm/DEVEL/ocaml-http/http_daemon.ml b/helm/DEVEL/ocaml-http/http_daemon.ml index 39a74bb65..6b2818ec1 100644 --- a/helm/DEVEL/ocaml-http/http_daemon.ml +++ b/helm/DEVEL/ocaml-http/http_daemon.ml @@ -301,7 +301,7 @@ let rec wrap_parse_request_w_safety parse_function inchan outchan = "
\nwhile received request 1st line was:
\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