added version information

[helm.git] / helm / uwobo / uwobo_common.ml
diff --git a/helm/uwobo/uwobo_common.ml b/helm/uwobo/uwobo_common.ml

index 7664c93b2047e32fc95bd2e219d4dcc892b9aad2..5578b09fbc85a0fc016c4004f7340dc84acf0597 100644 (file)
--- 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 =
      <title>UWOBO's help message</title>
    </head>
    <body>
+    <h1>UWOBO (version: %s)</h1>
+    <h2>Information</h2>
+    Version: %s
+    <h2>Usage</h2>
      <p>
      Usage: <kbd>http://hostname:uwoboport/</kbd><em>command</em>
      </p>
@@ -99,7 +105,9 @@ let usage_string =
    </body>
  </html>
  "
-  (String.concat ", " supported_properties);;
+  version version
+  (String.concat ", " supported_properties) (* supported properties *)
+;;
  
  let pp_error = sprintf "<html><body><h1>Error: %s</h1></body></html>";;
  let return_error msg outchan =