]> 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: 315b5ad)
the version command has been renamed into help, the syntax of the available
authorLuca Padovani <luca.padovani@unito.it>
Thu, 8 Mar 2001 11:05:21 +0000 (11:05 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Thu, 8 Mar 2001 11:05:21 +0000 (11:05 +0000)
commands will be added soon

helm/http_getter/http_getter.pl.in patch | blob | history

diff --git a/helm/http_getter/http_getter.pl.in b/helm/http_getter/http_getter.pl.in
index e73d9f9878689b039352916e90b29a0abcfcd303..4240edd806e78a9738946a8aa3b3c55ad8ac12be 100755 (executable)
--- a/helm/http_getter/http_getter.pl.in
+++ b/helm/http_getter/http_getter.pl.in
@@ -333,8 +333,8 @@ EOT
             answer($c,"<html><body><h1>Invalid uri , may begin with ".
              "\"cic:\", \"theory:\" or \"*:\"</h1></body></html>");
            }
-        } 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,"<html><body><h1>HTTP Getter Version ".
             $VERSION."</h1></body></html>");
         } else {
Unnamed repository; edit this file 'description' to name the repository.