some improvement for parameters, configuration

diff --git a/helm/interface/getter.ml b/helm/interface/getter.ml
index 800feddd58697ad7087f2ef7092cce370e844f0c..f6d0a6a380f5395ff0cdb7f44c3db35d360ad4d8 100644 (file)
--- 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 38bcc8e35a7e06e65caa44491e6b6c5c46579617..ff85de71826f4071b51fe929b2d98e873600733b 100644 (file)
--- 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 ed26724cad6cc4116f46b9ed9f0f1afd20cca05d..92888ed74eec017d727d675f256d1dd66f839d72 100644 (file)
--- 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 ^
+  "&param.getterURL=" ^ Configuration.getter_url ^
   (List.fold_right
    (fun key cmd -> "&key=" ^ key ^ cmd)
     key_list