X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Finterface%2Fgetter.ml;h=f6d0a6a380f5395ff0cdb7f44c3db35d360ad4d8;hb=321eacf25e6a8580215a5701eeadb0b55ba562ba;hp=800feddd58697ad7087f2ef7092cce370e844f0c;hpb=c1dfb763206c3e548b26d1e5f2128c6938a5df14;p=helm.git

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