Skip to content

Allow `scord-ctl` to write a pidfile

This is necessary so that we can shut it down from the Slurm plugin.