]> matita.cs.unibo.it Git - helm.git/commitdiff
- moved exceptions here
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 3 Dec 2002 21:37:04 +0000 (21:37 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 3 Dec 2002 21:37:04 +0000 (21:37 +0000)
helm/DEVEL/ocaml-http/http_types.ml

index f567c227bbb51e066f85542d86b9fd2a600f4597..011cbcb29745e521a35d567549a36eeb75a521a0 100644 (file)
@@ -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