]> matita.cs.unibo.it Git - helm.git/blob - helm/http_getter/doc/http_getter.conf.xml.sample
- non empty metasenv after the parsing phase are now accepted
[helm.git] / helm / http_getter / doc / http_getter.conf.xml.sample
1 <http_getter_configuration>
2
3   <http_getter_servers_file>run/servers.txt</http_getter_servers_file>
4
5   <http_getter_cic_dir>run/cic_library</http_getter_cic_dir>
6   <http_getter_nuprl_dir>run/nuprl_library</http_getter_nuprl_dir>
7   <http_getter_rdf_dir>run/rdf_library</http_getter_rdf_dir>
8   <http_getter_dtd_dir>run/dtd</http_getter_dtd_dir>
9
10   <http_getter_cic_dbm>run/cic_db</http_getter_cic_dbm>
11   <http_getter_nuprl_dbm>run/nuprl_db</http_getter_nuprl_dbm>
12   <http_getter_rdf_dbm>run/rdf_db</http_getter_rdf_dbm>
13   <http_getter_xsl_dbm>run/xsl_db</http_getter_xsl_dbm>
14
15   <http_getter_cache_mode>gz</http_getter_cache_mode>
16 <!--   <http_getter_cache_mode>normal</http_getter_cache_mode> -->
17
18   <http_getter_xml_indexname>index.txt</http_getter_xml_indexname>
19   <http_getter_rdf_indexname>rdf_index.txt</http_getter_rdf_indexname>
20   <http_getter_xsl_indexname>xslt_index.txt</http_getter_xsl_indexname>
21
22   <http_getter_dtd_base_url>http://mowgli.cs.unibo.it/dtd</http_getter_dtd_base_url>
23
24   <http_getter_port>58081</http_getter_port>
25
26 </http_getter_configuration>