From b792dcc5228b5583d8a80f013f7ddc04ebc0609d Mon Sep 17 00:00:00 2001
From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Fri, 27 Dec 2002 10:47:22 +0000
Subject: [PATCH] - use and override debug_print from Http_getter_debugger

---
 helm/http_getter/threadSafe.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/helm/http_getter/threadSafe.ml b/helm/http_getter/threadSafe.ml
index 72494ef43..36fb3e9a0 100644
--- a/helm/http_getter/threadSafe.ml
+++ b/helm/http_getter/threadSafe.ml
@@ -24,8 +24,8 @@
  *  http://cs.unibo.it/helm/.
  *)
 
-let debug = false
-let debug_print msg = if debug then prerr_endline msg
+open Http_getter_debugger;;
+let debug_print _ = ();;  (* override debugger 'debug_print' *)
 
 class threadSafe =
   object (self)
-- 
2.39.2