Redis에는 구성 매개 변수가 있습니다 pidfile
(예 : /etc/redis.conf-redis 소스 코드 확인 ).
# If a pid file is specified, Redis writes it where specified at startup
# and removes it at exit.
#
# When the server runs non daemonized, no pid file is created if none is
# specified in the configuration. When the server is daemonized, the pid file
# is used even if not specified, defaulting to "/var/run/redis.pid".
#
pidfile /var/run/redis.pid
설정되었거나 설정 가능한 경우 ps + grep
다음과 같은 것을 사용하여 프로세스 ID (pid)를 검색하는 대신 다음을 사용할 수 있습니다.
kill $(cat /var/run/redis.pid)
필요한 경우 다음 과 같이 redis 중지 스크립트를 만들 수 있습니다 ( redis 소스 코드의 기본 redis 5.0 init.d 스크립트 적용 ).
PIDFILE=/var/run/redis.pid
if [ ! -f $PIDFILE ]
then
echo "$PIDFILE does not exist, process is not running"
else
PID=$(cat $PIDFILE)
echo "Stopping ..."
kill $PID
while [ -x /proc/${PID} ]
do
echo "Waiting for Redis to shutdown ..."
sleep 1
done
echo "Redis stopped"
fi