diff options
| author | Chris Novakovic <chrisnovakovic@users.noreply.github.com> | 2018-06-04 12:40:32 +0100 |
|---|---|---|
| committer | Peter Powell <petpow@saberuk.com> | 2018-06-04 12:40:32 +0100 |
| commit | 9cd7a2e54683a05d175a86e901f2f0df7d680902 (patch) | |
| tree | 7b97185360a1b0a6ad46e7d88ebe97ebf005fa27 /docs | |
| parent | 2772c2fa2d51de376d84dd3674c7c0214f570469 (diff) | |
Add --nopid command line option (#1497).
Add a --nopid command line option, which causes a PID file not to be
written to the file system regardless of the presence of the <pid> tag
in the configuration file or the value of its "file" variable if it is
present.
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions