X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fgetter%2Fhttp_getter.mli;h=5cf5cd38ebf3b9f6e44447d5e0323a81dd4aefaf;hb=69f03015a62c9ca2ae7d8a446540e31cc9a6e84c;hp=845a17a1035b760e028aeade14bad0b36e387beb;hpb=ee3f8d6fa92b051394a2ff7c71c03ac33a05182b;p=helm.git

diff --git a/helm/software/components/getter/http_getter.mli b/helm/software/components/getter/http_getter.mli
index 845a17a10..5cf5cd38e 100644
--- a/helm/software/components/getter/http_getter.mli
+++ b/helm/software/components/getter/http_getter.mli
@@ -40,13 +40,13 @@ val help: unit -> string
 
   (** @raise Http_getter_types.Unresolvable_URI _
   * @raise Http_getter_types.Key_not_found _ *)
-val resolve: writable:bool -> string -> string (* uri -> url *)
+val resolve: local:bool -> writable:bool -> string -> string (* uri -> url *)
 
   (** as resolve, but does not check if the resource exists
    * @raise Http_getter_types.Key_not_found *)
-val filename: writable:bool -> string -> string (* uri -> url *)
+val filename: local:bool -> writable:bool -> string -> string (* uri -> url *)
 
-val exists: string -> bool
+val exists: local:bool -> string -> bool
 
 val getxml  : string -> string
 val getxslt : string -> string
@@ -56,14 +56,14 @@ val getalluris: unit -> string list
 
   (** @param baseuri uri to be listed, simple form or regular expressions (a
    * single choice among parens) are permitted *)
-val ls: string -> ls_item list
+val ls: local:bool -> string -> ls_item list
 
   (** {2 UriManager shorthands} *)
 
 val getxml'     : UriManager.uri -> string
-val resolve'    : writable:bool -> UriManager.uri -> string
-val exists'     : UriManager.uri -> bool
-val filename'     : writable:bool -> UriManager.uri -> string
+val resolve'    : local:bool -> writable:bool -> UriManager.uri -> string
+val exists'     : local:bool -> UriManager.uri -> bool
+val filename'     : local:bool -> writable:bool -> UriManager.uri -> string
 
   (** {2 Misc} *)