Select Code to Download

if ($found_err) {
  &PrintError; 
  exit -1; # 0 often means ok, whereas this is an error exit.
}