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

DRAW_GRAPH_PORT environment variable added
---

diff --git a/helm/graphs/tools/draw_graph.cgi b/helm/graphs/tools/draw_graph.cgi
index d5d5b4a82..24170593f 100755
--- a/helm/graphs/tools/draw_graph.cgi
+++ b/helm/graphs/tools/draw_graph.cgi
@@ -10,7 +10,10 @@ use FindBin;
 
 chdir $FindBin::Bin; # chdir to the directory of this perl script
 
-my $d = new HTTP::Daemon LocalPort => 8083;
+$drawgraphport = $ENV{'DRAW_GRAPH_PORT'} || $drawgraphport;
+
+my $d = new HTTP::Daemon LocalPort => $drawgraphport
+ or die "Error: port $drawgraphport not available.";
 print "Please contact me at: <URL:", $d->url, ">\n";
 
 $SIG{CHLD} = "IGNORE"; # do not accumulate defunct processes