From: Luca Padovani 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