summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorantirez <antirez@gmail.com>2015-04-26 19:23:24 +0200
committerantirez <antirez@gmail.com>2015-04-26 19:23:27 +0200
commit1a93501f8baebfb44bc2548b2026d47c3cc91d1f (patch)
tree7ec18c12e9e37d786ec7f751164644b6919691dc
parent6c60526db91e23fb2d666fc52facc9a11780a2a3 (diff)
downloadredis-1a93501f8baebfb44bc2548b2026d47c3cc91d1f.tar.gz
Example redis.conf doc about pidfile fixed.
An user changed the behavior via a PR without upgrading the doc.
-rw-r--r--redis.conf11
1 files changed, 9 insertions, 2 deletions
diff --git a/redis.conf b/redis.conf
index d0684e86a..127912c31 100644
--- a/redis.conf
+++ b/redis.conf
@@ -113,8 +113,15 @@ daemonize no
# They do not enable continuous liveness pings back to your supervisor.
supervised no
-# When running daemonized, Redis writes a pid file in /var/run/redis.pid by
-# default. You can specify a custom pid file location here.
+# If a pid file is specified, Redis writes it where specified at startup
+# and removes it at exit.
+#
+# When the server runs non daemonized, no pid file is created if none is
+# specified in the configuration. When the server is daemonized, the pid file
+# is used even if not specified, defaulting to "/var/run/redis.pid".
+#
+# Creating a pid file is best effort: if Redis is not able to create it
+# nothing bad happens, the server will start and run normally.
pidfile /var/run/redis.pid
# Specify the server verbosity level.