From 8834251a51009a6904231ee0ea8b7a47bbfb36eb Mon Sep 17 00:00:00 2001 From: midoks Date: Sun, 28 Jun 2020 12:58:45 +0800 Subject: [PATCH] Update redis.tpl --- plugins/redis/init.d/redis.tpl | 10 +++------- 1 file changed, 3 insertions(+), 7 deletions(-) diff --git a/plugins/redis/init.d/redis.tpl b/plugins/redis/init.d/redis.tpl index 6890f868e..be41e3ea6 100644 --- a/plugins/redis/init.d/redis.tpl +++ b/plugins/redis/init.d/redis.tpl @@ -28,13 +28,9 @@ PIDFILE={$SERVER_PATH}/redis/redis_6379.pid mkdir -p {$SERVER_PATH}/redis/data redis_start(){ - if [ -f $PIDFILE ] - then - echo "$PIDFILE exists, process is already running or crashed" - else - echo "Starting Redis server..." - nohup $EXEC $CONF >> {$SERVER_PATH}/redis/logs.pl 2>&1 & - fi + kill -9 `cat $PIDFILE` + echo "Starting Redis server..." + nohup $EXEC $CONF >> {$SERVER_PATH}/redis/logs.pl 2>&1 & } redis_stop(){ if [ ! -f $PIDFILE ]