From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Tue, 3 Dec 2002 21:37:04 +0000 (+0000)
Subject: - moved exceptions here
X-Git-Tag: V_0_0_6~4
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=87ac29023be698256db43ae12b579bf7d7b7235b;p=helm.git

- moved exceptions here
---

diff --git a/helm/DEVEL/ocaml-http/http_types.ml b/helm/DEVEL/ocaml-http/http_types.ml
index f567c227b..011cbcb29 100644
--- a/helm/DEVEL/ocaml-http/http_types.ml
+++ b/helm/DEVEL/ocaml-http/http_types.ml
@@ -107,6 +107,23 @@ type status =
   | server_error_status
   ]
 
+exception Invalid_header of string
+exception Invalid_HTTP_version of string
+exception Invalid_code of int
+exception Invalid_status of Http_types.status
+
+exception Malformed_query of string
+exception Malformed_query_part of string * string
+exception Unsupported_method of string
+exception Unsupported_HTTP_version of string
+exception Malformed_request_URI of string
+exception Malformed_request of string
+
+exception Param_not_found of string
+
+exception Invalid_status_line of string
+exception Header_not_found of string
+
 class type response =
   object
     method version: version