From f06e2c5a7757ef9dc8cd55fa759cbc48616cb508 Mon Sep 17 00:00:00 2001 From: Luca Padovani Date: Tue, 13 Feb 2001 13:46:34 +0000 Subject: [PATCH] some improvement for parameters, configuration --- helm/interface/getter.ml | 4 +--- helm/interface/styleConfiguration.ml | 2 +- helm/interface/xsltProcessorHTTP.ml | 4 +++- 3 files changed, 5 insertions(+), 5 deletions(-) diff --git a/helm/interface/getter.ml b/helm/interface/getter.ml index 800feddd5..f6d0a6a38 100644 --- a/helm/interface/getter.ml +++ b/helm/interface/getter.ml @@ -124,9 +124,7 @@ let update () = let update () = (* deliver update request to http_getter *) - if Sys.command ("wget -O /dev/null http://localhost:8081/update") <> 0 - then - raise PerlGetterNotResponding ; + ClientHTTP.send (Configuration.getter_url ^ "update") ;; (* url_of_uri : uri -> url *) diff --git a/helm/interface/styleConfiguration.ml b/helm/interface/styleConfiguration.ml index 38bcc8e35..ff85de718 100644 --- a/helm/interface/styleConfiguration.ml +++ b/helm/interface/styleConfiguration.ml @@ -17,7 +17,7 @@ let filename = let xml = "style-configuration.xml" in let tmp_xml = Configuration.tmp_dir ^ "/" ^ xml in let request_xml = Configuration.getter_url ^ "getstyleconf?uri=" ^ xml in - Getter.raw_get request_xml tmp_xml ; + ClientHTTP.get_and_save request_xml tmp_xml ; tmp_xml exception Warnings;; diff --git a/helm/interface/xsltProcessorHTTP.ml b/helm/interface/xsltProcessorHTTP.ml index ed26724ca..92888ed74 100644 --- a/helm/interface/xsltProcessorHTTP.ml +++ b/helm/interface/xsltProcessorHTTP.ml @@ -40,7 +40,9 @@ 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 string_to_send = Configuration.processor_url ^ "apply?xmluri=" ^ url ^ + let string_to_send = + Configuration.processor_url ^ "apply?xmluri=" ^ url ^ + "¶m.getterURL=" ^ Configuration.getter_url ^ (List.fold_right (fun key cmd -> "&key=" ^ key ^ cmd) key_list -- 2.39.2