Add optional argument to srun's --kill-on-bad-exit so that user can set
its value to zero and override a SLURM configuration parameter of KillOnBadExit.
09cfa689
To find the state of this project's repository at the time of any of these versions, check out the tags.