From: Luca Padovani Date: Mon, 12 Feb 2001 11:52:29 +0000 (+0000) Subject: version information X-Git-Tag: v0_1_2~122 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=083c36a4acd76127530b9af3d4c6c311f447d79b;p=helm.git version information --- 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)