X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fhttp_getter%2Fhttp_getter.pl.in;h=89f496ac7bc201e6cadc50bb09812b347eace3cb;hb=083c36a4acd76127530b9af3d4c6c311f447d79b;hp=fd72b75094014106160cd3a8ecae90176e8eb2ce;hpb=3b4df62d0cbef14154be151f18aeb68ea100d699;p=helm.git
diff --git a/helm/http_getter/http_getter.pl.in b/helm/http_getter/http_getter.pl.in
index fd72b7509..89f496ac7 100755
--- a/helm/http_getter/http_getter.pl.in
+++ b/helm/http_getter/http_getter.pl.in
@@ -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,"Update done
");
+ } elsif ($http_method eq 'GET' and $http_path eq "/version") {
+ print "Version requested!";
+ answer($c,"HTTP Getter Version ".$VERSION."
");
} else {
print "\nINVALID REQUEST!!!!!\n";
$c->send_error(RC_FORBIDDEN)