X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Finterface%2FxsltProcessor.ml;h=63d0c1fa592e04eb1a502e10d436c04e4379c13b;hb=dd2af791135cedf4e558ff8629ceca044a0d11d3;hp=3d3690f395154b8c76bd680e7700c736db3a3039;hpb=f7cdd861bf43d3a8585103fb3bacd29f8a40a46e;p=helm.git

diff --git a/helm/interface/xsltProcessor.ml b/helm/interface/xsltProcessor.ml
index 3d3690f39..63d0c1fa5 100644
--- a/helm/interface/xsltProcessor.ml
+++ b/helm/interface/xsltProcessor.ml
@@ -26,6 +26,12 @@
 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;;