From 863d12e97772fb72e7820c9f1bee037da77f2746 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Mon, 29 May 2006 17:34:16 +0000 Subject: [PATCH] lowered debugging level --- daemons/uwobo/uwobo.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/daemons/uwobo/uwobo.ml b/daemons/uwobo/uwobo.ml index 9cad8bd55..9553177d7 100644 --- a/daemons/uwobo/uwobo.ml +++ b/daemons/uwobo/uwobo.ml @@ -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 ;; -- 2.39.2