- better pretty printing on /update

- added stdout logger

diff --git a/helm/ocaml/getter/http_getter.ml b/helm/ocaml/getter/http_getter.ml
index 807eecb5299df03d7f4611b7cf4c7f0e4781cfac..1e85f70b4187fce62a50448eea3c5e192f439407 100644 (file)
--- 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);

diff --git a/helm/ocaml/getter/http_getter.mli b/helm/ocaml/getter/http_getter.mli
index 8d1ae4b5c05e57e5a598661efce2ffe2a799b2fc..a7d12f5a1611e8867d280d5df34bfd9a819665f1 100644 (file)
--- a/helm/ocaml/getter/http_getter.mli
+++ b/helm/ocaml/getter/http_getter.mli
@@ -28,8 +28,12 @@
 
 open Http_getter_types
 
+  (** {2 Loggers} *)
+
 type logger_callback = HelmLogger.html_tag -> unit
 
+val stdout_logger: logger_callback
+
   (** {2 Getter Web Service interface as API *)
 
 val help: unit -> string