some improvement for parameters, configuration

[helm.git] / helm / interface / getter.ml

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 *)