.
(Daemon mode only) Create a PID file in the given location. This is
used by the init system on Unix to keep track of the running daemon.
- Its parent directory must be writable by the user/group that we will
- run as!
+ .
+ If necessary, its parent directory will be created with owner/group
+ set to the appropriate user/group, but at most one directory will
+ be created (that is, we won't create an entire directory tree).
.
Default: \/run\/htsn\/htsn.pid
.
hxt == 9.3.*,
MissingH == 1.2.*,
network == 2.4.*,
- tasty == 0.6.*,
+ tasty == 0.7.*,
tasty-hunit == 0.4.*,
unix == 2.6.*
hxt == 9.3.*,
MissingH == 1.2.*,
network == 2.4.*,
- tasty == 0.6.*,
+ tasty == 0.7.*,
tasty-hunit == 0.4.*,
unix == 2.6.*