From 9bff83826c41b1dfdcf0c385d9c4a4f2f494be11 Mon Sep 17 00:00:00 2001
From: Luca Padovani <luca.padovani@unito.it>
Date: Tue, 30 Jan 2001 14:40:44 +0000
Subject: [PATCH] removed debugging printf

---
 helm/interface/xsltProcessor.ml | 2 --
 1 file changed, 2 deletions(-)

diff --git a/helm/interface/xsltProcessor.ml b/helm/interface/xsltProcessor.ml
index 9165a5363..3d3690f39 100644
--- a/helm/interface/xsltProcessor.ml
+++ b/helm/interface/xsltProcessor.ml
@@ -58,8 +58,6 @@ let rec process uri usecache mode =
        let socketserver = U.socket U.PF_INET U.SOCK_DGRAM 0 in
         let rec contact_server () =
          let n =
-	  Printf.printf "sending %s to server...\n" string_to_send;
-	  flush stdout;
           U.sendto socketserver string_to_send 0 (String.length string_to_send)
            [] (U.ADDR_INET(U.inet_addr_any,portserver))
          in
-- 
2.39.2