From fdc2491d02e3bb98d7f320917b29632d97bd1164 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Thu, 20 Mar 2003 15:06:21 +0000 Subject: [PATCH] added version information --- helm/uwobo/uwobo_common.ml | 10 +++++++++- helm/uwobo/uwobo_common.mli | 3 ++- 2 files changed, 11 insertions(+), 2 deletions(-) diff --git a/helm/uwobo/uwobo_common.ml b/helm/uwobo/uwobo_common.ml index 7664c93b2..5578b09fb 100644 --- a/helm/uwobo/uwobo_common.ml +++ b/helm/uwobo/uwobo_common.ml @@ -45,6 +45,8 @@ let supported_properties = [ let is_supported_property name = List.mem name supported_properties +let version = "0.2.0" ;; + let usage_string = sprintf " @@ -53,6 +55,10 @@ let usage_string = UWOBO's help message +

UWOBO (version: %s)

Information

+ Version: %s +

Usage

Usage: http://hostname:uwoboport/command

@@ -99,7 +105,9 @@ let usage_string = " - (String.concat ", " supported_properties);; + version version + (String.concat ", " supported_properties) (* supported properties *) +;; let pp_error = sprintf "

Error: %s

";; let return_error msg outchan = diff --git a/helm/uwobo/uwobo_common.mli b/helm/uwobo/uwobo_common.mli index d1a1a8f8c..a531d8a0b 100644 --- a/helm/uwobo/uwobo_common.mli +++ b/helm/uwobo/uwobo_common.mli @@ -31,7 +31,8 @@ exception Uwobo_failure of string val supported_properties: string list val is_supported_property: string -> bool -val usage_string: string +val version: string (** version *) +val usage_string: string (** HTTP GET usage string *) (** return an ok (200) http response, which display in html an error message *) -- 2.39.2