Update pidfile documentation.

diff --git a/doc/htsnrc.example b/doc/htsnrc.example
index 90212cdfa4d39ef6090a4d0bc09f69c5eef24b22..3a2347c9e82a7d22b8d230c293d1cc9028213b25 100644 (file)
--- a/doc/htsnrc.example
+++ b/doc/htsnrc.example
@@ -67,8 +67,11 @@
 
 # (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!
+# daemon.
+#
+# 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
 #

diff --git a/doc/man1/htsn.1 b/doc/man1/htsn.1
index 9d7ebce607b170f8ce220a914149313275fae737..8076e8d9cc125f3dc25c79ca40e091d4a510ab66 100644 (file)
--- a/doc/man1/htsn.1
+++ b/doc/man1/htsn.1
@@ -99,8 +99,10 @@ Default: none
 .IP \fB\-\-pidfile\fR
 (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
 

diff --git a/htsn.cabal b/htsn.cabal
index 5f2129d1a1871e6355ad4a5eff335798629fd445..fb82e5e44f5ce18649b054bfcbe167af4cbf87c7 100644 (file)
--- a/htsn.cabal
+++ b/htsn.cabal
@@ -128,8 +128,10 @@ description:
   .
   (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
   .