diff options
author | root <root@rshg054.dnsready.net> | 2012-04-25 00:01:35 +0000 |
---|---|---|
committer | root <root@rshg054.dnsready.net> | 2012-04-25 00:01:35 +0000 |
commit | 98bf2ac3fdd6f7bcb6ce45c932fc13c07fecc03f (patch) | |
tree | 00d9cdbfdc8ef5d7a4a7159a8c6439008509e662 /community/redis/redis.d | |
parent | 9988621f899d7d4ae5fd0a4a32a4ba3abc5a527d (diff) |
Wed Apr 25 00:01:35 UTC 2012
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" |