server.pid-file option¶
server.pid-file
set the name of the .pid-file where the PID of the server should be placed. This option is used in combination with a start-script and the daemon mode
Default: not set
Docs » Docs ConfigurationOptions »
server.pid-file
set the name of the .pid-file where the PID of the server should be placed. This option is used in combination with a start-script and the daemon mode
Default: not set