From: Stefano Zacchiroli Date: Thu, 20 Mar 2003 15:06:21 +0000 (+0000) Subject: added version information X-Git-Tag: before_refactoring~105 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=fdc2491d02e3bb98d7f320917b29632d97bd1164;p=helm.git added version information --- 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 *)