X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FproofChecker%2FproofChecker.pl;h=402bd3e98966583dd2f0ce6d14d2c317053381ff;hb=8a279dd3b4c7562099933bcb45e386ccc1ca156e;hp=9d6346afefb1fd855623d7d12c2b01f3f258e7da;hpb=24c1a9ccd8c0bc8115f9c071bd2cfd4c5a1b8377;p=helm.git

diff --git a/helm/proofChecker/proofChecker.pl b/helm/proofChecker/proofChecker.pl
index 9d6346afe..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;
@@ -48,7 +50,7 @@ while(true) {
 EOT
        while(chomp($_ = <PC_OUT>)) {
          last if ($_ eq "END");
-         print $c $_;
+         print $c $_."\n";
        }
        print $c <<EOT;
 <h1>Done.</h1>