From e8c9620a0913eceb02dde10d05058c7bf7ad0a10 Mon Sep 17 00:00:00 2001
From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Fri, 21 Mar 2003 18:00:16 +0000
Subject: [PATCH] added sample configuration file

---
 .../doc/http_getter.conf.xml.sample           | 26 +++++++++++++++++++
 1 file changed, 26 insertions(+)
 create mode 100644 helm/http_getter/doc/http_getter.conf.xml.sample

diff --git a/helm/http_getter/doc/http_getter.conf.xml.sample b/helm/http_getter/doc/http_getter.conf.xml.sample
new file mode 100644
index 000000000..f629e2cba
--- /dev/null
+++ b/helm/http_getter/doc/http_getter.conf.xml.sample
@@ -0,0 +1,26 @@
+<http_getter_configuration>
+
+  <http_getter_servers_file>run/servers.txt</http_getter_servers_file>
+
+  <http_getter_cic_dir>run/cic_library</http_getter_cic_dir>
+  <http_getter_nuprl_dir>run/nuprl_library</http_getter_nuprl_dir>
+  <http_getter_rdf_dir>run/rdf_library</http_getter_rdf_dir>
+  <http_getter_dtd_dir>run/dtd</http_getter_dtd_dir>
+
+  <http_getter_cic_dbm>run/cic_db</http_getter_cic_dbm>
+  <http_getter_nuprl_dbm>run/nuprl_db</http_getter_nuprl_dbm>
+  <http_getter_rdf_dbm>run/rdf_db</http_getter_rdf_dbm>
+  <http_getter_xsl_dbm>run/xsl_db</http_getter_xsl_dbm>
+
+  <http_getter_cache_mode>gz</http_getter_cache_mode>
+<!--   <http_getter_cache_mode>normal</http_getter_cache_mode> -->
+
+  <http_getter_xml_indexname>index.txt</http_getter_xml_indexname>
+  <http_getter_rdf_indexname>rdf_index.txt</http_getter_rdf_indexname>
+  <http_getter_xsl_indexname>xslt_index.txt</http_getter_xsl_indexname>
+
+  <http_getter_dtd_base_url>http://mowgli.cs.unibo.it/dtd</http_getter_dtd_base_url>
+
+  <http_getter_port>58081</http_getter_port>
+
+</http_getter_configuration>
-- 
2.39.2