]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/http_getter/main.ml
- Configuration file moved to /projects/helm/etc.
[helm.git] / helm / http_getter / main.ml
index 90f776df359e2ca9a1e1592b6c53293fd7f29a74..7722a2cdce135626a1d883a8e0c0d62deaf8e7d2 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";