]> 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 3d3690f395154b8c76bd680e7700c736db3a3039..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;;