Server pid-fileDetails » History » Revision 3
Revision 2 (Anonymous, 2006-08-06 14:34) → Revision 3/5 (Anonymous, 2006-08-06 14:34)
h2. == 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