X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fgetter%2Fhttp_getter.ml;h=1e85f70b4187fce62a50448eea3c5e192f439407;hb=954bacdd1f1ea6a649f3bf6cd5fab4d1222f9f8f;hp=a817f7448d52a6baa35241bb91246c41f9b71bfb;hpb=f44ab01307f10d4165c76e3108542a5bc2035766;p=helm.git

diff --git a/helm/ocaml/getter/http_getter.ml b/helm/ocaml/getter/http_getter.ml
index a817f7448..1e85f70b4 100644
--- a/helm/ocaml/getter/http_getter.ml
+++ b/helm/ocaml/getter/http_getter.ml
@@ -45,6 +45,8 @@ type resolve_result =
 
 type logger_callback = HelmLogger.html_tag -> unit
 
+let stdout_logger tag =  print_string (HelmLogger.string_of_html_tag tag)
+
 let not_implemented s = raise (Not_implemented ("Http_getter." ^ s))
 
 let (index_line_sep_RE, index_sep_RE, trailing_types_RE,
@@ -109,8 +111,8 @@ let update_from_server logger server_url = (* use global maps *)
     debug_print (sprintf "Warning: useless server %s" server_url);
   (match xml_index with
   | Some xml_index ->
-      logger (`T "Updating XML db ...");
-      logger `BR;
+      logger (`T "- Updating XML db ...");
+(*       logger `BR; *)
       List.iter
         (function
           | l when is_blank_line l -> ()  (* skip blank and commented lines *)
@@ -137,8 +139,8 @@ let update_from_server logger server_url = (* use global maps *)
   | None -> ());
   (match rdf_index with
   | Some rdf_index ->
-      logger (`T "Updating RDF db ...");
-      logger `BR;
+      logger (`T "- Updating RDF db ...");
+(*       logger `BR; *)
       List.iter
         (fun l ->
           try
@@ -161,8 +163,8 @@ let update_from_server logger server_url = (* use global maps *)
   | None -> ());
   (match xsl_index with
   | Some xsl_index ->
-      logger (`T "Updating XSLT db ...");
-      logger `BR;
+      logger (`T "- Updating XSLT db ...");
+(*       logger `BR; *)
       List.iter
         (fun l -> (Lazy.force xsl_map) # replace l (server_url ^ "/" ^ l))
         (Pcre.split ~rex:index_sep_RE xsl_index);
@@ -207,8 +209,10 @@ let getxslt_remote ~patch_dtd uri = not_implemented "getxslt_remote"
 let getdtd_remote ~patch_dtd uri = not_implemented "getdtd_remote"
 let clean_cache_remote () = not_implemented "clean_cache_remote"
 let list_servers_remote () = not_implemented "list_servers_remote"
-let add_server_remote ~logger ~position name = not_implemented "add_server_remote"
-let remove_server_remote ~logger position = not_implemented "remove_server_remote"
+let add_server_remote ~logger ~position name =
+  not_implemented "add_server_remote"
+let remove_server_remote ~logger position =
+  not_implemented "remove_server_remote"
 let getalluris_remote () = not_implemented "getalluris_remote"
 let getallrdfuris_remote () = not_implemented "getallrdfuris_remote"
 let ls_remote lsuri = not_implemented "ls_remote"
@@ -240,7 +244,8 @@ let register_remote ~uri ~url =
 
 let update_remote logger  () =
   let answer = ClientHTTP.get (getter_url () ^ "update") in
-  logger (`T answer)
+  logger (`T answer);
+  logger `BR
 
 let getxml_remote ~format ~patch_dtd uri =
   ClientHTTP.get_and_save_to_tmp