Project

General

Profile

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