X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Focaml-http%2Fhttp_types.ml;fp=helm%2FDEVEL%2Focaml-http%2Fhttp_types.ml;h=40015e6831cd2d4d650fcc856a16935d3f62eb46;hb=af6c0cdc6313be8c1fbdebee9e61ce700951f101;hp=cae9998b3f83a7f10d695c0998315846bd658a76;hpb=617c3cf27758b63f35ab21a5d5e67be5aa9f065f;p=helm.git

diff --git a/helm/DEVEL/ocaml-http/http_types.ml b/helm/DEVEL/ocaml-http/http_types.ml
index cae9998b3..40015e683 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 *)