From 56e9d37ae63d2272c23cdbd153c7ce503ae5b35f Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Wed, 8 Jan 2003 10:29:02 +0000 Subject: [PATCH] - added 'version' field, actually set to 0.2.0 --- helm/http_getter/http_getter_env.ml | 11 +++++++---- helm/http_getter/http_getter_env.mli | 4 ++++ 2 files changed, 11 insertions(+), 4 deletions(-) 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 *) -- 2.39.2