commit 37c9292664a9eb8db24a15f11b0216de59934823 Author: Thomas Penteker <tek@serverop.de> Date: Sun Aug 7 03:20:38 2016 +0200 redis: remove port from PID filename diff --git a/redis/redis.conf b/redis/redis.conf index 22e00bc..def479e 100644 --- a/redis/redis.conf +++ b/redis/redis.conf @@ -147,7 +147,7 @@ supervised no # # 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_6379.pid +pidfile /var/run/redis.pid # Specify the server verbosity level. # This can be one of: