]> matita.cs.unibo.it Git - helm.git/commitdiff
HTTP_GETTER_PORT environment variable added
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 10 Oct 2002 14:11:22 +0000 (14:11 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 10 Oct 2002 14:11:22 +0000 (14:11 +0000)
helm/http_getter/http_getter.pl.in

index 05c76bd8a55f70b0588c0b4580c89df95431bcf7..bccb61548210885cc454d510fd0067fc134e6b05 100755 (executable)
@@ -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