server cleanup and documentation
Open
@MichaelBrim is already working on this.
Since Apr 16, 2019.
question
- Dominant language
- C
- Stars
- 122
- Forks
- 34
- PR merge metrics
- No merged PRs in 30d
Description
The configuration options, and associated server command-line switches, have changed since the last update to the documentation. This should be fixed.
Also, we need to decide and document exactly which server state should be cleaned when the `--cleanup` option is used. Currently, the option has no effect, and we just clean up everything.
Contributor guide
No contributing guide indexed for this repository
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
Assessment
This issue has not been assessed yet.