From: Stefano Zacchiroli Date: Wed, 8 Jan 2003 10:29:02 +0000 (+0000) Subject: - added 'version' field, actually set to 0.2.0 X-Git-Tag: v0_3_99~70 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=56e9d37ae63d2272c23cdbd153c7ce503ae5b35f;p=helm.git - added 'version' field, actually set to 0.2.0 --- diff --git a/helm/http_getter/http_getter_env.ml b/helm/http_getter/http_getter_env.ml index 20f67ae27..5430add17 100644 --- a/helm/http_getter/http_getter_env.ml +++ b/helm/http_getter/http_getter_env.ml @@ -32,6 +32,8 @@ open Pxp_document;; open Pxp_types;; open Pxp_yacc;; +let version = "0.2.0" + type setting_src = | Environment (* read setting from environment variables *) | Conffile (* read setting from configuration file *) @@ -119,7 +121,9 @@ let reload () = let dump_env () = printf -"xml_dbm:\t%s +"HTTP Getter %s (the OCaml one!) + +xml_dbm:\t%s rdf_dbm:\t%s xsl_dbm:\t%s xml_index:\t%s @@ -139,9 +143,8 @@ conf_dir:\t%s servers: \t%s " - xml_dbm rdf_dbm xsl_dbm xml_index rdf_index xsl_index - xml_dir rdf_dir dtd_dir servers_file host port - my_own_url dtd_base_url + version xml_dbm rdf_dbm xsl_dbm xml_index rdf_index xsl_index + 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); flush stdout diff --git a/helm/http_getter/http_getter_env.mli b/helm/http_getter/http_getter_env.mli index ce24cfeb7..2f71d5735 100644 --- a/helm/http_getter/http_getter_env.mli +++ b/helm/http_getter/http_getter_env.mli @@ -28,6 +28,10 @@ open Http_getter_types;; + (* general information *) + +val version : string (* getter version *) + (* environment gathered data *) val xml_dbm : string (* XML map DBM file *)