From: Luca Padovani Date: Thu, 8 Mar 2001 11:05:21 +0000 (+0000) Subject: the version command has been renamed into help, the syntax of the available X-Git-Tag: v0_1_2~87 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=ef9e59ebe09298c1295ebdd52a9517f1eafcab63;p=helm.git the version command has been renamed into help, the syntax of the available commands will be added soon --- diff --git a/helm/http_getter/http_getter.pl.in b/helm/http_getter/http_getter.pl.in index e73d9f987..4240edd80 100755 --- a/helm/http_getter/http_getter.pl.in +++ b/helm/http_getter/http_getter.pl.in @@ -333,8 +333,8 @@ EOT answer($c,"

Invalid uri , may begin with ". "\"cic:\", \"theory:\" or \"*:\"

"); } - } elsif ($http_method eq 'GET' and $http_path eq "/version") { - print "Version requested!"; + } elsif ($http_method eq 'GET' and $http_path eq "/help") { + print "Help requested!"; answer($c,"

HTTP Getter Version ". $VERSION."

"); } else {