From 79c051ca7ec24978d240e9527951126e7bb488b8 Mon Sep 17 00:00:00 2001 From: Luca Padovani Date: Tue, 3 Apr 2001 09:44:28 +0000 Subject: [PATCH] first steps towards new interface with UWOBo and new stylesheets --- helm/interface/xsltProcessorHTTP.ml | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/helm/interface/xsltProcessorHTTP.ml b/helm/interface/xsltProcessorHTTP.ml index 92888ed74..d8f5b057e 100644 --- a/helm/interface/xsltProcessorHTTP.ml +++ b/helm/interface/xsltProcessorHTTP.ml @@ -38,13 +38,14 @@ let initialize () = let process uri usecache mode = let uri = UriManager.string_of_uri uri in - let url = Configuration.getter_url ^ "get?uri=" ^ uri in - let key_list = StyleConfiguration.key_list_of_mode_name mode in + let url = Configuration.getter_url ^ "getxml?uri=" ^ uri in + let first_key::key_list = StyleConfiguration.key_list_of_mode_name mode in let string_to_send = Configuration.processor_url ^ "apply?xmluri=" ^ url ^ "¶m.getterURL=" ^ Configuration.getter_url ^ + "&keys=" ^ first_key ^ (List.fold_right - (fun key cmd -> "&key=" ^ key ^ cmd) + (fun key cmd -> "," ^ key ^ cmd) key_list "" ) -- 2.39.2