diff options
| author | Thomas Penteker <tek@serverop.de> | 2016-08-07 03:20:38 +0200 |
|---|---|---|
| committer | Thomas Penteker <tek@serverop.de> | 2016-08-07 03:20:38 +0200 |
| commit | 37c9292664a9eb8db24a15f11b0216de59934823 (patch) | |
| tree | c6112b809486e0c72fdf79d95d5b44ab53d8621f /redis | |
| parent | 2f958913ea76034e09ec0d148bbd0b9bc2d626fb (diff) | |
| download | contrib-37c9292664a9eb8db24a15f11b0216de59934823.tar.gz contrib-37c9292664a9eb8db24a15f11b0216de59934823.tar.xz | |
redis: remove port from PID filename
Diffstat (limited to 'redis')
| -rw-r--r-- | redis/redis.conf | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/redis/redis.conf b/redis/redis.conf index 22e00bcfe..def479eaa 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: |