]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/interface/xsltProcessor.ml
Support for automatic stylesheet configuration retrieval started
[helm.git] / helm / interface / xsltProcessor.ml
index 9165a5363637ffc83079f879edca32f54dd3fd6d..63d0c1fa592e04eb1a502e10d436c04e4379c13b 100644 (file)
 exception XsltProcessorCouldNotSend;;
 exception XsltProcessorCouldNotReceive;;
 
+let initialize l =
+ List.iter
+  (function (name,key) ->
+    client_add (Configuration.getter_url ^ "getxslt?uri=" ^ name ^ "?key=" ^ key)
+  )
+
 let portserver = 12345;;
 let portclient = 12346;;
 let time_to_wait = 10;;
@@ -58,8 +64,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