]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/http_getter/main.ml
http_getter.conf.xml ==> /projects/helm/etc/http_getter.conf.xml
[helm.git] / helm / http_getter / main.ml
index 301d74eef4b7d1125a2abf2777d611b9612d4ffa..faf899b80c0e9b2bdee6fa566b852f506a804523 100644 (file)
@@ -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";