]> matita.cs.unibo.it Git - helm.git/commitdiff
http_getter.conf.xml ==> /projects/helm/etc/http_getter.conf.xml
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 5 Apr 2004 17:32:45 +0000 (17:32 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 5 Apr 2004 17:32:45 +0000 (17:32 +0000)
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";