
#
# Verify the solver's token
#

unless (-s "TOKEN") {
  print "Solver Identifier missing.\n"; 
  exit 1;
}

$_ = `cat TOKEN`;
s/\s*$//;

if (/\s/) {
  print "Solver Identifier \"$_\" cannot contain any white space.\n";
  exit 1;
}

#if (/\W/) {
#  print "Solver Identifier \"$_\" must contain only letters and numbers.\n";
#  exit 1;
#}

system("echo $_ > TOKEN");
