From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Fri, 25 Oct 2002 15:20:07 +0000 (+0000)
Subject: Better configuration management.
X-Git-Tag: BEFORE_METADATA_FOR_SORT_AND_REL~12
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=cb063f95f155da1d2d8c90a6059722459dba1e2b;p=helm.git

Better configuration management.
---

diff --git a/helm/proofChecker/proofChecker.pl b/helm/proofChecker/proofChecker.pl
index fde4b43ea..402bd3e98 100755
--- a/helm/proofChecker/proofChecker.pl
+++ b/helm/proofChecker/proofChecker.pl
@@ -10,8 +10,10 @@ use IPC::Open3;
 
 chdir $FindBin::Bin; # chdir to the directory of this perl script
 
-my $d = new HTTP::Daemon LocalPort => 8085
- or die "Error: port 8085 not available.";
+$proofcheckerport = $ENV{'PROOF_CHECKER_PORT'} || $proofcheckerport;
+
+my $d = new HTTP::Daemon LocalPort => $proofcheckerport
+ or die "Error: port $proofcheckerport not available.";
 print "Please contact me at: <URL:", $d->url, ">\n";
 
 my $IsProofCheckerLiving = 0;