]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/getter/http_getter_logger.ml
removed no longer used METAs
[helm.git] / helm / ocaml / getter / http_getter_logger.ml
index c639f6c9087e1805ae99c1aaac7d2a0917552f4f..1d774c10287bd6fbc611dc0e1b46a0b1bcc32652 100644 (file)
@@ -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