]> matita.cs.unibo.it Git - helm.git/commitdiff
projects / helm.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 6a9be76)
- shows also version in usage string
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 9 Jan 2003 07:57:26 +0000 (07:57 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 9 Jan 2003 07:57:26 +0000 (07:57 +0000)
helm/http_getter/http_getter_const.ml patch | blob | history

diff --git a/helm/http_getter/http_getter_const.ml b/helm/http_getter/http_getter_const.ml
index 1d0a4f58184a82c8c999f766834771b2d7024772..44dfaab1bbd4b887cea561378fb293e783486d1f 100644 (file)
--- 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
 "
 <html>
   <head>
     <title>HTTP Getter's help message</title>
   </head>
   <body>
+    <h1>HTTP Getter, version %s</h1>
     <p>
     Usage: <kbd>http://hostname:getterport/</kbd><em>command</em>
     </p>
@@ -80,6 +84,7 @@ let usage_string =
   </body>
 </html>
 "
+    version
 
 let empty_xml =
 "<?xml version=\"1.0\"?>
Unnamed repository; edit this file 'description' to name the repository.