X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fhttp_getter%2Fmain.ml;fp=helm%2Fhttp_getter%2Fmain.ml;h=faf899b80c0e9b2bdee6fa566b852f506a804523;hb=fa1ddc519dbdc7364c3768c83b19e20f507253d5;hp=301d74eef4b7d1125a2abf2777d611b9612d4ffa;hpb=c5dad1d18ea23c4ce58d5f769ef2dc0a634240b8;p=helm.git

diff --git a/helm/http_getter/main.ml b/helm/http_getter/main.ml
index 301d74eef..faf899b80 100644
--- a/helm/http_getter/main.ml
+++ b/helm/http_getter/main.ml
@@ -35,7 +35,7 @@ open Http_getter_debugger
 
   (* constants *)
 
-let configuration_file = "http_getter.conf.xml"
+let configuration_file = "/projects/helm/etc/http_getter.conf.xml"
 
 let common_headers = [
   "Cache-Control", "no-cache";