Actions
Server pid-fileDetails » History » Revision 3
« Previous |
Revision 3/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 · 3 revisions