]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/getter/http_getter_cache.mli
- better handling of temp files wrt to failures. When a temp file has
[helm.git] / helm / ocaml / getter / http_getter_cache.mli
index 11211288aa8faaf5375ee2499a032541f0465bda..a026e72c09d278478129b0d7ff52d8d09fbf526e 100644 (file)
@@ -28,6 +28,8 @@
 
 open Http_getter_types;;
 
+(** all these methods could raise Http_getter_types.Cache_failure *)
+
 val respond_xml:
   ?enc:encoding -> ?patch:bool -> url:string -> uri:string -> out_channel ->
     unit