]> matita.cs.unibo.it Git - helm.git/commitdiff
added Malformed_response exception
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 16 Dec 2003 16:48:02 +0000 (16:48 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 16 Dec 2003 16:48:02 +0000 (16:48 +0000)
helm/DEVEL/ocaml-http/http_types.ml

index 40015e6831cd2d4d650fcc856a16935d3f62eb46..8840b22e9b3126b8fa5455cd5392b8eec14f2449 100644 (file)
@@ -175,6 +175,9 @@ exception Malformed_request_URI of string
   (** malformed request received *)
 exception Malformed_request of string
 
+  (** malformed response received, argument is response's first line *)
+exception Malformed_response of string
+
   (** a parameter you were looking for was not found *)
 exception Param_not_found of string