From: Luca Padovani <luca.padovani@unito.it>
Date: Tue, 30 Jan 2001 14:40:44 +0000 (+0000)
Subject: removed debugging printf
X-Git-Tag: v0_1_2~157
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=9bff83826c41b1dfdcf0c385d9c4a4f2f494be11;p=helm.git

removed debugging printf
---

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