root
/
redis
mirror of https://github.com/redis/redis.git
1
0
Fork 0
Code Issues Actions 4 Packages Projects Releases Wiki Activity

Fixed init script bug, thanks to Henrik Westphal

This commit is contained in:
antirez 2011-06-14 17:11:44 +02:00
parent 13572dc21b
commit f2ac94876d
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
utils/redis_init_script
View File

@ -28,7 +28,7 @@ case "$1" in
PID=$(cat $PIDFILE) PID=$(cat $PIDFILE)
echo "Stopping ..." echo "Stopping ..."
$CLIEXEC -p $REDISPORT shutdown $CLIEXEC -p $REDISPORT shutdown
while [ -x /proc/${PIDFILE} ] while [ -x /proc/${PID} ]
do do
echo "Waiting for Redis to shutdown ..." echo "Waiting for Redis to shutdown ..."
sleep 1 sleep 1