X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fgetter%2Fhttp_getter_cache.mli;h=7789a023bd36762ae35219a19be4705b8e0eb7d0;hb=0aaed6f96b856d1181a3cd1f2ef3ea4a91990771;hp=a026e72c09d278478129b0d7ff52d8d09fbf526e;hpb=c19ffb699f8f4681f0c7d9f59fae96f2023cd058;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