From 46d542fccfda8ea66783f5b7ca0c0a78442266cf Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Mon, 16 Feb 2004 17:24:44 +0000 Subject: [PATCH] ... --- helm/http_getter/http_getter.conf.xml.sample | 22 +++++++++++--------- 1 file changed, 12 insertions(+), 10 deletions(-) diff --git a/helm/http_getter/http_getter.conf.xml.sample b/helm/http_getter/http_getter.conf.xml.sample index 780a05d2e..6d6e96670 100644 --- a/helm/http_getter/http_getter.conf.xml.sample +++ b/helm/http_getter/http_getter.conf.xml.sample @@ -1,20 +1,22 @@ - /projects/helm/shared/V7_mowgli - /tmp/helm/cache +
+ /projects/helm/shared/V7_mowgli + /tmp/helm/cache +
- $(dbm_dir)/servers.txt + $(per_user_settings.dbm_dir)/servers.txt - $(cache_dir)/cic_library - $(cache_dir)/nuprl_library - $(cache_dir)/rdf_library + $(per_user_settings.cache_dir)/cic_library + $(per_user_settings.cache_dir)/nuprl_library + $(per_user_settings.cache_dir)/rdf_library /projects/helm/xml/dtd - $(dbm_dir)/cic_db - $(dbm_dir)/nuprl_db - $(dbm_dir)/rdf_db - $(dbm_dir)/xsl_db + $(per_user_settings.dbm_dir)/cic_db + $(per_user_settings.dbm_dir)/nuprl_db + $(per_user_settings.dbm_dir)/rdf_db + $(per_user_settings.dbm_dir)/xsl_db gz -- 2.39.2