Helm_registry.load_from "extractor.conf.xml";
Http_getter.init ();
print_endline "Updating the getter....";
- Http_getter.update ();
let base = (Helm_registry.get "tmp.dir") ^ "/maps" in
let formats i =
(Helm_registry.get "tmp.dir") ^ "/"^(string_of_int i)^"/maps"