X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fhttp_getter%2Fhttp_getter_const.ml;h=44dfaab1bbd4b887cea561378fb293e783486d1f;hb=89262281b6e83bd2321150f81f1a0583645eb0c8;hp=efbae1f51d78983b04e031fd028cea09b40da1cd;hpb=5d7d6bd5090f3f82279bef0b93b4b361a5b1d751;p=helm.git
diff --git a/helm/http_getter/http_getter_const.ml b/helm/http_getter/http_getter_const.ml
index efbae1f51..44dfaab1b 100644
--- a/helm/http_getter/http_getter_const.ml
+++ b/helm/http_getter/http_getter_const.ml
@@ -26,14 +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
"
HTTP Getter's help message
+ HTTP Getter, version %s
Usage: http://hostname:getterport/command
@@ -77,6 +84,7 @@ let usage_string =
"
+ version
let empty_xml =
"