X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Focaml-http%2Fhttp_types.ml;h=8840b22e9b3126b8fa5455cd5392b8eec14f2449;hb=5325734bc2e4927ed7ec146e35a6f0f2b49f50c1;hp=cae9998b3f83a7f10d695c0998315846bd658a76;hpb=e597c44ff938a45dcbf74f460425b02513cfe4cf;p=helm.git

diff --git a/helm/DEVEL/ocaml-http/http_types.ml b/helm/DEVEL/ocaml-http/http_types.ml
index cae9998b3..8840b22e9 100644
--- a/helm/DEVEL/ocaml-http/http_types.ml
+++ b/helm/DEVEL/ocaml-http/http_types.ml
@@ -134,6 +134,11 @@ type status =
   | server_error_status
   ]
 
+  (** File sources *)
+type file_source =
+  | FileSrc of string           (** filename *)
+  | InChanSrc of in_channel     (** input channel *)
+
   (** {2 Exceptions} *)
 
   (** invalid header encountered *)
@@ -170,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