From fa1ddc519dbdc7364c3768c83b19e20f507253d5 Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Mon, 5 Apr 2004 17:32:45 +0000
Subject: [PATCH] http_getter.conf.xml ==>
 /projects/helm/etc/http_getter.conf.xml

---
 helm/http_getter/main.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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";
-- 
2.39.2