X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmetadata%2Fextractor%2Fextractor_manager.ml;h=05393b63e24980d97c31e2c73a9adcea5659c6ea;hb=97c2d258a5c524eb5c4b85208899d80751a2c82f;hp=ae541f458ac5f9a1daaa5db25be6589296a25a33;hpb=728c74fc32dc03e9ffde18ac060dcdef3ca55de9;p=helm.git

diff --git a/helm/ocaml/metadata/extractor/extractor_manager.ml b/helm/ocaml/metadata/extractor/extractor_manager.ml
index ae541f458..05393b63e 100644
--- a/helm/ocaml/metadata/extractor/extractor_manager.ml
+++ b/helm/ocaml/metadata/extractor/extractor_manager.ml
@@ -172,7 +172,6 @@ let main () =
       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"