clear output
This commit is contained in:
parent
5f264c4eed
commit
bedaa27685
1 changed files with 2 additions and 2 deletions
|
@ -9,12 +9,12 @@ cleanup() {
|
||||||
# Stop docker gracefully
|
# Stop docker gracefully
|
||||||
echo "[INFO] Stopping in container docker..."
|
echo "[INFO] Stopping in container docker..."
|
||||||
DOCKERPIDFILE=/var/run/docker.pid
|
DOCKERPIDFILE=/var/run/docker.pid
|
||||||
if [ -f $DOCKERPIDFILE ] && [ -s $DOCKERPIDFILE ] && pgrep -F $DOCKERPIDFILE; then
|
if [ -f $DOCKERPIDFILE ] && [ -s $DOCKERPIDFILE ] && pgrep -F $DOCKERPIDFILE > /dev/null; then
|
||||||
kill "$(cat $DOCKERPIDFILE)"
|
kill "$(cat $DOCKERPIDFILE)"
|
||||||
# Now wait for it to die
|
# Now wait for it to die
|
||||||
STARTTIME=$(date +%s)
|
STARTTIME=$(date +%s)
|
||||||
ENDTIME=$(date +%s)
|
ENDTIME=$(date +%s)
|
||||||
while [ -f $DOCKERPIDFILE ] && [ -s $DOCKERPIDFILE ] && pgrep -F $DOCKERPIDFILE; do
|
while [ -f $DOCKERPIDFILE ] && [ -s $DOCKERPIDFILE ] && pgrep -F $DOCKERPIDFILE > /dev/null; do
|
||||||
if [ $((ENDTIME - STARTTIME)) -le $DOCKER_TIMEOUT ]; then
|
if [ $((ENDTIME - STARTTIME)) -le $DOCKER_TIMEOUT ]; then
|
||||||
sleep 1
|
sleep 1
|
||||||
ENDTIME=$(date +%s)
|
ENDTIME=$(date +%s)
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue