let (index_line_sep_RE, index_sep_RE) =
(Pcre.regexp "[ \t]+", Pcre.regexp "\n+")
in
+ (* TODO support 'file://.*' servers *)
let update_from_server logmsg server_url = (* use global maps *)
debug_print ("Updating information from " ^ server_url);
let xml_url_of_uri = function