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)