X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fgetter%2Fhttp_getter_storage.mli;h=5dd997843f1c1486be490f8bd02a7a428b2c7f25;hb=97c2d258a5c524eb5c4b85208899d80751a2c82f;hp=396510af800a6e2b799f37aaa51bf782951cde0b;hpb=a3fb06e72407e3590fa60a74ac5fec01e6bfe1f9;p=helm.git

diff --git a/helm/ocaml/getter/http_getter_storage.mli b/helm/ocaml/getter/http_getter_storage.mli
index 396510af8..5dd997843 100644
--- a/helm/ocaml/getter/http_getter_storage.mli
+++ b/helm/ocaml/getter/http_getter_storage.mli
@@ -40,15 +40,20 @@
  * holds: that exception is raised iff exists return false on a given resource
  * *)
 
-exception Resource_not_found of string  (** uri *)
+exception Resource_not_found of string * string  (** method, uri *)
 
   (** @return a list of string where dir are returned with a trailing "/" *)
 val ls: string -> string list
 
 
   (** @return the filename of the resource corresponding to a given uri. Handle
-   * download and caching for remote resources. *)
-val filename: string -> string
+   * download and caching for remote resources.
+   * @param find if set to true all matching prefixes will be searched for the
+   * asked resource, if not only the best matching prefix will be used. Note
+   * that the search is performed only if the asked resource is not found in
+   * cache (i.e. to perform the find again you need to clean the cache).
+   * Defaults to false *)
+val filename: ?find:bool -> string -> string
 
   (** only works for local resources
    * if both compressed and non-compressed versions of a resource exist, both of