let prefix_RE = Pcre.regexp "^\\s*([^\\s]+)\\s+([^\\s]+)\\s*(.*)$"
let cache_dir = lazy (normalize_dir (Helm_registry.get "getter.cache_dir"))
-let dtd_dir = lazy (normalize_dir (Helm_registry.get "getter.dtd_dir"))
+let dtd_dir = lazy (
+ match Helm_registry.get_opt Helm_registry.get_string "getter.dtd_dir" with
+ | None -> None
+ | Some dir -> Some (normalize_dir dir))
let dtd_base_urls = lazy (
let rex = Pcre.regexp "/*$" in
let raw_urls =
"
version
(pp_prefixes (Lazy.force prefixes))
- (Lazy.force dtd_dir) (Lazy.force host) (Lazy.force port)
+ (match Lazy.force dtd_dir with Some dir -> dir | None -> "NONE")
+ (Lazy.force host) (Lazy.force port)
(Lazy.force my_own_url) (String.concat " " (Lazy.force dtd_base_urls))
(match Http_getter_logger.get_log_file () with None -> "None" | Some f -> f)
(Http_getter_logger.get_log_level ())
+let get_dtd_dir () =
+ match Lazy.force dtd_dir with
+ | None -> raise (Internal_error "dtd_dir is not available")
+ | Some dtd_dir -> dtd_dir
+