maxipatch for support of multiple DBs.

[helm.git] / components / getter / http_getter.mli

diff --git a/components/getter/http_getter.mli b/components/getter/http_getter.mli
index 845a17a1035b760e028aeade14bad0b36e387beb..5cf5cd38ebf3b9f6e44447d5e0323a81dd4aefaf 100644 (file)
--- a/components/getter/http_getter.mli
+++ b/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} *)