]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/uwobo/src/ocaml/uwobo_logger.ml
cvs snapshot Tue, 26 Nov 2002 18:41:34 +0100
[helm.git] / helm / uwobo / src / ocaml / uwobo_logger.ml
index c0e73b9b95aca9a5c4a883636823234d97b85d4a..b7e4239a6c03df29b83160e38f2b7dfd2fa1de55 100644 (file)
@@ -27,12 +27,14 @@ let string_of_priority = function
 
 class sysLogger ?(level: priority = `Notice) () =
   object
+    initializer
+      print_endline (sprintf "Logger started with level %s" (string_of_priority level))
     val level_no = int_of_priority level
     val mutable enabled = false
     method enable = enabled <- true
     method disable = enabled <- false
     method log (prio: priority) msg =
-      if enabled && (int_of_priority prio < level_no) then
+      if enabled && (int_of_priority prio <= level_no) then
         prerr_endline (sprintf ("%s: %s") (string_of_priority prio) msg)
   end