From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Tue, 8 Oct 2002 09:23:03 +0000 (+0000)
Subject: URI_SET_QUEUE_PORT environment variable added
X-Git-Tag: BEFORE_METADATA_FOR_SORT_AND_REL~53
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=e2d0672789ad98b6178cd6e33eb3f5e68c95798b;p=helm.git

URI_SET_QUEUE_PORT environment variable added
---

diff --git a/helm/graphs/tools/uri_set_queue.cgi b/helm/graphs/tools/uri_set_queue.cgi
index d84cdfde3..6a5d16ad5 100755
--- a/helm/graphs/tools/uri_set_queue.cgi
+++ b/helm/graphs/tools/uri_set_queue.cgi
@@ -5,7 +5,10 @@ use HTTP::Status;
 use HTTP::Response;
 use CGI;
 
-my $d = new HTTP::Daemon LocalPort => 8084;
+$urisetqueueport = $ENV{'URI_SET_QUEUE_PORT'} || $urisetqueueport;
+
+my $d = new HTTP::Daemon LocalPort => $urisetqueueport
+ or die "Error: port $urisetqueueport not available.";
 print "Please contact me at: <URL:", $d->url, ">\n";
 
 $SIG{CHLD} = "IGNORE"; # do not accumulate defunct processes