X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fhttp_getter%2Fhttp_getter.pl.in;h=4240edd806e78a9738946a8aa3b3c55ad8ac12be;hb=ef9e59ebe09298c1295ebdd52a9517f1eafcab63;hp=e73d9f9878689b039352916e90b29a0abcfcd303;hpb=315b5ad70270b2b5b151a512501b30b50b6c4916;p=helm.git 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 {