From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Tue, 16 Dec 2003 16:48:02 +0000 (+0000)
Subject: added Malformed_response exception
X-Git-Tag: V_0_2_2~4
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=d6a9268278d123d3d20b7833a3a83c8abed6bb02;p=helm.git

added Malformed_response exception
---

diff --git a/helm/DEVEL/ocaml-http/http_types.ml b/helm/DEVEL/ocaml-http/http_types.ml
index 40015e683..8840b22e9 100644
--- a/helm/DEVEL/ocaml-http/http_types.ml
+++ b/helm/DEVEL/ocaml-http/http_types.ml
@@ -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