X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=inline;f=helm%2Fhttp_getter%2Fmain.ml;h=7722a2cdce135626a1d883a8e0c0d62deaf8e7d2;hb=5095f0f9e11e966d7872d38ab8ef408567c5984e;hp=90f776df359e2ca9a1e1592b6c53293fd7f29a74;hpb=c10721e8910fc80786cf668d0f843e3da2598a21;p=helm.git

diff --git a/helm/http_getter/main.ml b/helm/http_getter/main.ml
index 90f776df3..7722a2cdc 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";