////////////////////////////////////////////////////////////////////////////////
/// @startDocuBlock pidFile
/// @brief pid file
/// `--pid-file filename`
///
/// The name of the process ID file to use when running the server as a
/// daemon. This parameter must be specified if either the flag *daemon* or
/// *supervisor* is set.
/// @endDocuBlock
////////////////////////////////////////////////////////////////////////////////