From: Stefano Zacchiroli Date: Fri, 4 Feb 2005 14:03:03 +0000 (+0000) Subject: "thin" version of the configuration file (exploits default values and X-Git-Tag: V_0_1_0~19 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=0acdfae860f652fd2f0cf2abeb6dd304f92b17e5;p=helm.git "thin" version of the configuration file (exploits default values and new configuration parameters like maps_dir and cache_dir) --- diff --git a/helm/http_getter/http_getter.conf.xml.sample b/helm/http_getter/http_getter.conf.xml.sample index 8551ff0e7..b98763cc6 100644 --- a/helm/http_getter/http_getter.conf.xml.sample +++ b/helm/http_getter/http_getter.conf.xml.sample @@ -1,37 +1,11 @@ -
- /projects/helm/var - /tmp/helm/cache -
-
- $(user_settings.dbm_dir)/servers.txt - - $(user_settings.cache_dir)/cic_library - $(user_settings.cache_dir)/nuprl_library - $(user_settings.cache_dir)/rdf_library + /projects/helm/var/servers.txt + /tmp/helm/cache + /projects/helm/var /projects/helm/xml/dtd - - $(user_settings.dbm_dir)/cic_db - $(user_settings.dbm_dir)/nuprl_db - $(user_settings.dbm_dir)/rdf_db - $(user_settings.dbm_dir)/xsl_db - - gz - - index.txt - rdf_index.txt - xslt_index.txt - - - http://mowgli.cs.unibo.it/dtd - http://helm.cs.unibo.it/dtd - - 58081 - - 1 http_getter.log