(*
- * Copyright (C) 2003:
+ * Copyright (C) 2003-2004:
* Stefano Zacchiroli <zack@cs.unibo.it>
* for the HELM Team http://helm.cs.unibo.it/
*
val host : string (* host on which getter listens *)
val my_own_url : string (* URL at which contact getter *)
-val servers : string list ref (* servers list. DO NOT CHANGE this list,
- modifications wont be preserved *)
-val cache_mode : http_getter_encoding (* cached files encoding *)
+val servers : unit -> (int * string) list
+ (* (position * server) list *)
+val cache_mode : encoding (* cached files encoding *)
val conf_file : string (* configuration file's full path *)
val conf_dir : string (* directory where conf_file resides *)