From 43a3eec39d99d06464d2d1990e07584b369e464f Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Wed, 12 Mar 2003 18:01:04 +0000 Subject: [PATCH] - embedded configuration information in help string - bumped version to 0.2.1 --- helm/http_getter/http_getter_const.ml | 9 ++++++--- helm/http_getter/http_getter_const.mli | 6 +++++- 2 files changed, 11 insertions(+), 4 deletions(-) diff --git a/helm/http_getter/http_getter_const.ml b/helm/http_getter/http_getter_const.ml index 44dfaab1b..765d446aa 100644 --- a/helm/http_getter/http_getter_const.ml +++ b/helm/http_getter/http_getter_const.ml @@ -28,11 +28,11 @@ open Printf;; -let version = "0.2.0" +let version = "0.2.1" let conffile = "http_getter.conf.xml" (* TODO provide a better usage string *) -let usage_string = +let usage_string configuration = sprintf " @@ -41,6 +41,7 @@ let usage_string =

HTTP Getter, version %s

Usage information

Usage: http://hostname:getterport/command

@@ -81,10 +82,12 @@ let usage_string =

getempty

Current configuration

%s

" - version + version configuration let empty_xml = " diff --git a/helm/http_getter/http_getter_const.mli b/helm/http_getter/http_getter_const.mli index 3b03950f5..e50a469cb 100644 --- a/helm/http_getter/http_getter_const.mli +++ b/helm/http_getter/http_getter_const.mli @@ -28,5 +28,9 @@ val version: string val conffile: string -val usage_string: string val empty_xml: string + + (** @return an HTML usage string including configuration information passed as + input parameter *) +val usage_string: string -> string + -- 2.39.2