From: Claudio Sacerdoti Coen Date: Thu, 10 Oct 2002 14:11:22 +0000 (+0000) Subject: HTTP_GETTER_PORT environment variable added X-Git-Tag: BEFORE_METADATA_FOR_SORT_AND_REL~42 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=3b1680e72eb357b96ad7ccda051c154f6eb656bb;p=helm.git HTTP_GETTER_PORT environment variable added --- diff --git a/helm/http_getter/http_getter.pl.in b/helm/http_getter/http_getter.pl.in index 05c76bd8a..bccb61548 100755 --- a/helm/http_getter/http_getter.pl.in +++ b/helm/http_getter/http_getter.pl.in @@ -63,6 +63,7 @@ $xslt_indexname = $ENV{'HTTP_GETTER_XSLT_INDEXNAME'} || $xslt_indexname; $servers_file = $ENV{'HTTP_GETTER_SERVERS_FILE'} || $servers_file; $uris_dbm = $ENV{'HTTP_GETTER_URIS_DBM'} || $uris_dbm; $dtdbaseurl = $ENV{'HTTP_GETTER_DTD_BASE_URL'} || $dtdbaseurl; +$getterport = $ENV{'HTTP_GETTER_PORT'} || $getterport; # @@ -84,8 +85,8 @@ use URI::Escape; #CSC: ==> non e' robusto #CSC: altra roba da sistemare segnata con CSC -my $d = new HTTP::Daemon LocalPort => 8081 - or die "Error: port 8081 not available."; +my $d = new HTTP::Daemon LocalPort => $getterport + or die "Error: port $getterport not available."; my $myownurl = $d->url; # Let's patch the returned URL @@ -117,6 +118,7 @@ print "indexname: $indexname\n"; print "rdf_indexname: $rdf_indexname\n"; print "xslt_indexname: $xslt_indexname\n"; print "dtdbaseurl: $dtdbaseurl\n"; +print "getterport: $getterport\n"; print "\n"; $SIG{CHLD} = "IGNORE"; # do not accumulate defunct processes