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;
EOT
while(chomp($_ = <PC_OUT>)) {
last if ($_ eq "END");
- print $c $_;
+ print $c $_."\n";
}
print $c <<EOT;
<h1>Done.</h1>