]> matita.cs.unibo.it Git - helm.git/commitdiff
version information
authorLuca Padovani <luca.padovani@unito.it>
Mon, 12 Feb 2001 11:52:29 +0000 (11:52 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Mon, 12 Feb 2001 11:52:29 +0000 (11:52 +0000)
helm/http_getter/http_getter.pl.in

index fd72b75094014106160cd3a8ecae90176e8eb2ce..89f496ac7bc201e6cadc50bb09812b347eace3cb 100755 (executable)
@@ -23,6 +23,8 @@
 # For details, see the HELM World-Wide-Web page,
 # http://cs.unibo.it/helm/.
 
+my $VERSION = "@VERSION@";
+
 # First of all, let's load HELM configuration
 use Env;
 my $HELM_LIB_DIR = $ENV{"HELM_LIB_DIR"};
@@ -293,6 +295,9 @@ EOT
            kill(USR1,getppid());
            print " done\n";
            answer($c,"<html><body><h1>Update done</h1></body></html>");
+       } elsif ($http_method eq 'GET' and $http_path eq "/version") {
+          print "Version requested!";
+           answer($c,"<html><body><h1>HTTP Getter Version ".$VERSION."</h1></body></html>");
         } else {
             print "\nINVALID REQUEST!!!!!\n";
             $c->send_error(RC_FORBIDDEN)