The support for stat.pl's --restart option was incomplete in run.sh. This change makes sure it's handled properly and that named.run file is not being removed by clean.sh when the --restart option is used.
The support for stat.pl's --restart option was incomplete in run.sh. This change makes sure it's handled properly and that named.run file is not being removed by clean.sh when the --restart option is used.