X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2FmatitaMisc.ml;h=266aec526920ad8d96bda49f7cca4cd0d29a2861;hb=801f0eb3eabe1cbcd66d6a3f52c24eb8f1189611;hp=0c4329e554350936ea863f1c2e581e13df8ca5d9;hpb=7f2444c2670cadafddd8785b687ef312158376b0;p=helm.git

diff --git a/matita/matitaMisc.ml b/matita/matitaMisc.ml
index 0c4329e55..266aec526 100644
--- a/matita/matitaMisc.ml
+++ b/matita/matitaMisc.ml
@@ -150,3 +150,9 @@ let list_tl_at ?(equality=(==)) e l =
     | hd :: tl -> aux tl
   in
   aux l
+
+let shutup () = 
+  HLog.set_log_callback (fun _ _ -> ());
+  let out = open_out "/dev/null" in
+  Unix.dup2 (Unix.descr_of_out_channel out) (Unix.descr_of_out_channel stderr)
+