From 14d838b61590fe8ee7a599013bab547a2e542ff3 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Wed, 20 Nov 2002 16:28:03 +0000 Subject: [PATCH] - http debugging value copied from daemon debugging value --- helm/graphs/tools/uriSetQueue.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/helm/graphs/tools/uriSetQueue.ml b/helm/graphs/tools/uriSetQueue.ml index 1bb6b5ee4..29482c268 100644 --- a/helm/graphs/tools/uriSetQueue.ml +++ b/helm/graphs/tools/uriSetQueue.ml @@ -23,9 +23,9 @@ * http://cs.unibo.it/helm/. *) -Http_common.debug := true;; let debug = true;; let debug_print s = if debug then prerr_endline s;; +Http_common.debug := debug;; open Printf;; -- 2.39.2