Revision de081774
ID | de081774a3115d380904f430910f8ba260bc1bba |
Make pid file setting work for real
Create a pid file outside the daemon context, make sure it is deleted on
shutdown, offer option to set it from the cmdline
Files
- added
- modified
- copied
- renamed
- deleted