From 39d7157312213114f81948978510bed7d85a7610 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Tue, 7 Jan 2003 18:29:09 +0000 Subject: [PATCH] reindented --- helm/http_getter/http_getter_env.mli | 38 ++++++++++++++-------------- 1 file changed, 19 insertions(+), 19 deletions(-) diff --git a/helm/http_getter/http_getter_env.mli b/helm/http_getter/http_getter_env.mli index 95378a3c7..c2ce1a769 100644 --- a/helm/http_getter/http_getter_env.mli +++ b/helm/http_getter/http_getter_env.mli @@ -24,31 +24,31 @@ * http://cs.unibo.it/helm/. *) - open Http_getter_types;; +open Http_getter_types;; (* environment gathered data *) - val xml_dbm : string (* XML map DBM file *) - val rdf_dbm : string (* RDF map DBM file *) - val xsl_dbm : string (* XSL map DBM file *) - val xml_index : string (* XMLs' index *) - val rdf_index : string (* RDFs' index *) - val xsl_index : string (* XSLTs' index *) - val xml_dir : string (* XMLs' directory *) - val rdf_dir : string (* RDFs' directory *) - val dtd_dir : string (* DTDs' root directory *) - val servers_file : string (* servers.txt file *) - val port : int (* port on which getter listens *) - val dtd_base_url : string (* base URL for DTD downloading *) +val xml_dbm : string (* XML map DBM file *) +val rdf_dbm : string (* RDF map DBM file *) +val xsl_dbm : string (* XSL map DBM file *) +val xml_index : string (* XMLs' index *) +val rdf_index : string (* RDFs' index *) +val xsl_index : string (* XSLTs' index *) +val xml_dir : string (* XMLs' directory *) +val rdf_dir : string (* RDFs' directory *) +val dtd_dir : string (* DTDs' root directory *) +val servers_file : string (* servers.txt file *) +val port : int (* port on which getter listens *) +val dtd_base_url : string (* base URL for DTD downloading *) (* derived data *) - val host : string (* host on which getter listens *) - val my_own_url : string (* URL at which contact getter *) - val servers : string list ref (* servers list *) - val cache_mode : http_getter_encoding (* cached files encoding *) - val conf_file : string (* configuration file's full path *) - val conf_dir : string (* directory where conf_file resides *) +val host : string (* host on which getter listens *) +val my_own_url : string (* URL at which contact getter *) +val servers : string list ref (* servers list *) +val cache_mode : http_getter_encoding (* cached files encoding *) +val conf_file : string (* configuration file's full path *) +val conf_dir : string (* directory where conf_file resides *) (* misc *) -- 2.39.2