X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Focaml%2Fgetter%2Fhttp_getter_logger.ml;h=1d774c10287bd6fbc611dc0e1b46a0b1bcc32652;hb=6355ac16ff3996e16d9d9cfb08e4184bc7962f8b;hp=c639f6c9087e1805ae99c1aaac7d2a0917552f4f;hpb=7668522147126e620258e6d22c16a2b0fa56feb4;p=helm.git

diff --git a/helm/ocaml/getter/http_getter_logger.ml b/helm/ocaml/getter/http_getter_logger.ml
index c639f6c90..1d774c102 100644
--- a/helm/ocaml/getter/http_getter_logger.ml
+++ b/helm/ocaml/getter/http_getter_logger.ml
@@ -26,6 +26,8 @@
  *  http://helm.cs.unibo.it/
  *)
 
+(* $Id$ *)
+
 let log_level = ref 1
 let get_log_level () = !log_level
 let set_log_level l = log_level := l
@@ -55,6 +57,7 @@ let log ?(level = 1) s =
     | None, _ -> prerr_endline msg
     | Some fname, Some oc ->
         output_string oc msg;
+        output_string oc "\n";
         flush oc
     | Some _, None -> assert false