]> matita.cs.unibo.it Git - helm.git/commitdiff
lowered debugging level
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 29 May 2006 17:34:16 +0000 (17:34 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 29 May 2006 17:34:16 +0000 (17:34 +0000)
daemons/uwobo/uwobo.ml

index 9cad8bd55fb53ac61527ca7c51bd6604310061e1..9553177d774ed0236734c70d4d2408da81046fc6 100644 (file)
@@ -31,7 +31,7 @@ open Uwobo_common;;
 
  (* debugging settings *)
 let debug = false ;;
-let debug_level = `Debug ;;
+let debug_level = `Notice ;;
 let debug_print s = if debug then prerr_endline s ;;
 Http_common.debug := false ;;