Skip to content
Snippets Groups Projects
Commit 272010c8 authored by jurgenhaas's avatar jurgenhaas
Browse files

#17 Use docker kill instead of stop to accelerate the update process

parent 07340bc6
No related branches found
No related tags found
No related merge requests found
......@@ -20,4 +20,4 @@ fi
echo "Self update to versino ${NEWVERSION} succeeded!"
echo "Cleaning old container"
docker stop l3drun
docker kill l3drun >/dev/null
......@@ -15,14 +15,14 @@ if [[ -n ${PHP_VERSION} ]]; then
ID=$(docker container ls -q -f ancestor=${IMAGEID})
if [[ -n ${ID} ]]; then
echo "Removing outdated container ..."
docker stop ${ID}
docker rm ${ID}
docker kill ${ID} >/dev/null
docker rm ${ID} >/dev/null
else
break
fi
done
echo "Removing outdated image ..."
docker rmi ${IMAGEID}
docker rmi ${IMAGEID} >/dev/null
else
break
fi
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment