removed debugging printf

diff --git a/helm/interface/xsltProcessor.ml b/helm/interface/xsltProcessor.ml
index 9165a5363637ffc83079f879edca32f54dd3fd6d..3d3690f395154b8c76bd680e7700c736db3a3039 100644 (file)
--- 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