Commit b5d3313a authored Jul 03, 2023 by Alberto Miranda

Merge branch 'amiranda/141-allow-scord-ctl-to-write-a-pidfile' into 'main'

Resolve "Allow `scord-ctl` to write a pidfile"

Closes #141

See merge request !99