]> matita.cs.unibo.it Git - helm.git/commitdiff
added version information
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 20 Mar 2003 15:06:21 +0000 (15:06 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 20 Mar 2003 15:06:21 +0000 (15:06 +0000)
helm/uwobo/uwobo_common.ml
helm/uwobo/uwobo_common.mli

index 7664c93b2047e32fc95bd2e219d4dcc892b9aad2..5578b09fbc85a0fc016c4004f7340dc84acf0597 100644 (file)
@@ -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 =
index d1a1a8f8c0f33ebaaa5b72133fbf73862ed8d028..a531d8a0b4c9230fa5001dd8a5fd02cd8429abb5 100644 (file)
@@ -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
   *)