Project

General

Profile

Actions
History

Docs » Docs ConfigurationOptions »

Server pid-fileDetails » History » Revision 2

« Previous | Revision 2/5 (diff) | Next »
Anonymous, 2006-08-06 14:34

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

Updated by Anonymous over 18 years ago · 2 revisions