Start shell script Redis
#!/bin/bash TIME=`date +"%Y-%m-%d_%H:%M:%S"` #if [ $# -lt 1 ]; then # echo "usage: ./start_redis port" # exit 1; #else echo -e "\n"[${TIME}]" Run Scheduler\n " >> /srv/redis/log/start_redis.log #case ${1} in #0) pid_sentinel=`ps -ef | grep '6381' | grep 'redis-sentinel' | grep -v 'grep' | awk '{print $2}'` if [ -z $pid_sentinel ]; then echo -e [${TIME}]" port 6381 " >> /srv/redis/log/start_redis.log /srv/redis/bin/redis-sentinel /srv/redis/sentinel.conf fi sleep 5 #;; #1) pid_master=`ps -ef | grep '6379' | grep 'redis-server' | grep -v 'grep' | awk '{print $2}'` if [ -z $pid...