diff options
Diffstat (limited to 'community/redis/redis.d')
-rw-r--r-- | community/redis/redis.d | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/community/redis/redis.d b/community/redis/redis.d index 3294963ed..afd001fd5 100644 --- a/community/redis/redis.d +++ b/community/redis/redis.d @@ -12,6 +12,9 @@ PIDFILE=/var/run/redis.pid WORKDIR=/var/lib/redis CONF="/etc/redis.conf" +PID=$(cat $PIDFILE) +[ -d /proc/${PID} ] || rm -f $PIDFILE + case "$1" in start) stat_busy "Starting $daemon_name" |