let xsl_index = safe_getenv "HTTP_GETTER_XSL_INDEXNAME"
let xml_dir = safe_getenv "HTTP_GETTER_XML_DIR"
let rdf_dir = safe_getenv "HTTP_GETTER_RDF_DIR"
-let xsl_dir = safe_getenv "HTTP_GETTER_XSL_DIR"
let dtd_dir = safe_getenv "HTTP_GETTER_DTD_DIR"
let port =
xsl_index:\t%s
xml_dir:\t%s
rdf_dir:\t%s
-xsl_dir:\t%s
dtd_dir:\t%s
servers_file:\t%s
host:\t\t%s
\t%s
"
xml_dbm rdf_dbm xsl_dbm xml_index rdf_index xsl_index
- xml_dir rdf_dir xsl_dir dtd_dir servers_file host port
+ xml_dir rdf_dir dtd_dir servers_file host port
my_own_url dtd_base_url
(match cache_mode with Enc_normal -> "Normal" | Enc_gzipped -> "GZipped")
conf_file conf_dir (String.concat "\n\t" servers);