helm/http_getter/http_getter.conf.xml.sample

   1 <?xml version="1.0" encoding="utf-8"?>
   2 <helm_registry>
   3   <value key="getter.servers_file">/foo/servers.txt</value>
   4   <value key="getter.cic_dir">/foo/cic_library</value>
   5   <value key="getter.nuprl_dir">/foo/nuprl_library</value>
   6   <value key="getter.rdf_dir">/foo/rdf_library</value>
   7   <value key="getter.dtd_dir">/foo/dtd</value>
   8   <value key="getter.cic_dbm">/foo/cic_db</value>
   9   <value key="getter.nuprl_dbm">/foo/nuprl_db</value>
  10   <value key="getter.rdf_dbm">/foo/rdf_db</value>
  11   <value key="getter.xsl_dbm">/foo/xsl_db</value>
  12   <!--   <value key="getter.cache_mode">normal</value> -->
  13   <value key="getter.cache_mode">gz</value>
  14   <value key="getter.xml_indexname">index.txt</value>
  15   <value key="getter.rdf_indexname">rdf_index.txt</value>
  16   <value key="getter.xsl_indexname">xslt_index.txt</value>
  17   <value key="getter.dtd_base_url">http://mowgli.cs.unibo.it/dtd</value>
  18   <value key="getter.port">58081</value>
  19 </helm_registry>