X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=components%2Fgetter%2Fhttp_getter_storage.mli;h=cc0ff46c4797ee77c76fc9005937bb0880498796;hb=249d11773d32add20d665c4f8521b7380e4fec0a;hp=24fc329c9f03316218de44352e7217007b425991;hpb=7f2444c2670cadafddd8785b687ef312158376b0;p=helm.git

diff --git a/components/getter/http_getter_storage.mli b/components/getter/http_getter_storage.mli
index 24fc329c9..cc0ff46c4 100644
--- a/components/getter/http_getter_storage.mli
+++ b/components/getter/http_getter_storage.mli
@@ -43,7 +43,7 @@
 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
+val ls: local:bool -> string -> string list
 
 
   (** @return the filename of the resource corresponding to a given uri. Handle
@@ -53,19 +53,23 @@ val ls: string -> string list
    * 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
+val filename: local:bool -> ?find:bool -> string -> string
 
   (** only works for local resources
    * if both compressed and non-compressed versions of a resource exist, both of
    * them are removed *)
 val remove: string -> unit
 
-val exists: string -> bool
-val resolve: string -> string
+val exists: local:bool -> string -> bool
+val resolve: 
+  local:bool -> ?must_exists:bool -> writable:bool -> string -> string
 
 (* val get_attrs: string -> Http_getter_types.prefix_attr list *)
 val is_read_only: string -> bool
 val is_legacy: string -> bool
+val is_empty: local:bool -> string -> bool
 
 val clean_cache: unit -> unit
 
+val activate_system_mode: unit -> unit
+val list_writable_prefixes: unit -> string list