]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/interface/xsltProcessor.ml
This commit was manufactured by cvs2svn to create tag 'v0_0_2'.
[helm.git] / helm / interface / xsltProcessor.ml
index 63d0c1fa592e04eb1a502e10d436c04e4379c13b..3d3690f395154b8c76bd680e7700c736db3a3039 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;;