index 6101740ca0a1b47717decec892f96e73c991f130..7411188dc8735039420f644cc9422c2fb501e4b2 100644 (file)
# take an exclusive lock to avoid concurrent access
flock($portfile, LOCK_EX) || die "locking port file $filename: $!";
# see if someone else has or had a reservation of this port
- my $pid = <$portfile>;
+ my $pid = <$portfile> || "0";
chomp $pid;
if ($pid +0 > 0)
{