From b1fb6b8e1767d775bc452303629e95941d142bea Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Thu, 9 Jan 2003 07:57:26 +0000 Subject: [PATCH] - shows also version in usage string --- helm/http_getter/http_getter_const.ml | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/helm/http_getter/http_getter_const.ml b/helm/http_getter/http_getter_const.ml index 1d0a4f581..44dfaab1b 100644 --- a/helm/http_getter/http_getter_const.ml +++ b/helm/http_getter/http_getter_const.ml @@ -26,17 +26,21 @@ * http://helm.cs.unibo.it/ *) +open Printf;; + let version = "0.2.0" let conffile = "http_getter.conf.xml" (* TODO provide a better usage string *) let usage_string = + sprintf " HTTP Getter's help message +

HTTP Getter, version %s

Usage: http://hostname:getterport/command

@@ -80,6 +84,7 @@ let usage_string = " + version let empty_xml = " -- 2.39.2