From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
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;
   
 # </move_to_conf_file>
 
@@ -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