From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Mon, 6 Feb 2006 17:19:52 +0000 (+0000)
Subject: use matita.verbosity instead of matita.quiet
X-Git-Tag: 0.4.95@7852~1715
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=2d7b903fc2132621c2ce61edf5d35caf7b3b1f95;p=helm.git

use matita.verbosity instead of matita.quiet
---

diff --git a/matita/matitacLib.ml b/matita/matitacLib.ml
index ee09258e0..1297a4747 100644
--- a/matita/matitacLib.ml
+++ b/matita/matitacLib.ml
@@ -48,7 +48,7 @@ let run_script is eval_function  =
   in
   let slash_n_RE = Pcre.regexp "\\n" in
   let cb = 
-    if Helm_registry.get_bool "matita.quiet" then 
+    if Helm_registry.get_int "matita.verbosity" < 1 then 
       (fun _ _ -> ())
     else 
       (fun grafite_status stm ->
@@ -171,12 +171,12 @@ let main ~mode =
     | `Debug | `Message -> ()
     | `Warning | `Error -> origcb tag s
   in
-  if Helm_registry.get_bool "matita.quiet" then
+  if Helm_registry.get_int "matita.verbosity" < 1 then
     HLog.set_log_callback newcb;
   let matita_debug = Helm_registry.get_bool "matita.debug" in
   try
     let time = Unix.time () in
-    if Helm_registry.get_bool "matita.quiet" then
+    if Helm_registry.get_int "matita.verbosity" < 1 then
       origcb `Message ("compiling " ^ Filename.basename fname ^ "...")
     else
       HLog.message (sprintf "execution of %s started:" fname);