if ($pid =~ /^(\d+)$/) {
  $pid = $1;
} else {
  die "funky pid read from $file!";
}