X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fgetter%2Fhttp_getter_cache.mli;fp=helm%2Focaml%2Fgetter%2Fhttp_getter_cache.mli;h=7789a023bd36762ae35219a19be4705b8e0eb7d0;hb=f44ab01307f10d4165c76e3108542a5bc2035766;hp=a026e72c09d278478129b0d7ff52d8d09fbf526e;hpb=d8738e52af861cbdda5268671b30183b99d51c54;p=helm.git

diff --git a/helm/ocaml/getter/http_getter_cache.mli b/helm/ocaml/getter/http_getter_cache.mli
index a026e72c0..7789a023b 100644
--- a/helm/ocaml/getter/http_getter_cache.mli
+++ b/helm/ocaml/getter/http_getter_cache.mli
@@ -28,19 +28,23 @@
 
 open Http_getter_types;;
 
-(** all these methods could raise Http_getter_types.Cache_failure *)
+(** 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