X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Focaml%2Fgetter%2Fhttp_getter_cache.mli;h=7789a023bd36762ae35219a19be4705b8e0eb7d0;hb=5325734bc2e4927ed7ec146e35a6f0f2b49f50c1;hp=11211288aa8faaf5375ee2499a032541f0465bda;hpb=384c369d4cbf5dd6cf1013902d3a218260400e73;p=helm.git

diff --git a/helm/ocaml/getter/http_getter_cache.mli b/helm/ocaml/getter/http_getter_cache.mli
index 11211288a..7789a023b 100644
--- a/helm/ocaml/getter/http_getter_cache.mli
+++ b/helm/ocaml/getter/http_getter_cache.mli
@@ -28,17 +28,23 @@
 
 open Http_getter_types;;
 
+(** all these methods could raise Http_getter_types.Cache_failure.
+ * @param via_http (default: true) @see Http_getter_common.return_file *)
+
 val respond_xml:
-  ?enc:encoding -> ?patch:bool -> url:string -> uri:string -> out_channel ->
-    unit
+  ?via_http:bool -> ?enc:encoding -> ?patch:bool -> url:string -> uri:string ->
+    out_channel ->
+      unit
 
 val respond_xsl:
-  ?enc:encoding -> ?patch:bool -> url:string -> out_channel ->
-    unit
+  ?via_http:bool -> ?enc:encoding -> ?patch:bool -> url:string ->
+    out_channel ->
+      unit
 
 val respond_dtd:
-  ?enc:encoding -> ?patch:bool -> url:string -> out_channel ->
-    unit
+  ?via_http:bool -> ?enc:encoding -> ?patch:bool -> url:string ->
+    out_channel ->
+      unit
 
 val clean: unit -> unit