changed publish.sh

This commit is contained in:
2020-11-14 12:59:44 +01:00
parent f0b989120c
commit 5df1891600

View File

@@ -8,7 +8,7 @@ if [ ! "$(docker ps -q -f name=worldcraftdiscordbot_1)" ]; then
# run your container
NEW=worldcraftdiscordbot_1
OLD=worldcraftdiscordbot_2
docker run -d --name worldcraftdiscordbot_1 --restart unless-stopped worldcraftdiscordbot:v${env.BUILD_ID}
docker run -d --name worldcraftdiscordbot_1 --restart unless-stopped worldcraftdiscordbot:v$1
else [ ! "$(docker ps -q -f name=worldcraftdiscordbot_2)" ];
if [ "$(docker ps -aq -f status=exited -f name=worldcraftdiscordbot_2)" ]; then
# cleanup
@@ -17,11 +17,12 @@ else [ ! "$(docker ps -q -f name=worldcraftdiscordbot_2)" ];
NEW=worldcraftdiscordbot_2
OLD=worldcraftdiscordbot_1
# run your container
docker run -d --name $NEW --restart unless-stopped worldcraftdiscordbot:v${env.BUILD_ID}
docker run -d --name $NEW --restart unless-stopped worldcraftdiscordbot:v$1
fi
# remove old container after 3 seconds
if [ "$(docker ps -a -f name=$OLD)" ]; then
echo "old: $OLD"
if [ "$(docker ps -aq -f name=$OLD)" ]; then
sleep 3s
docker stop $OLD
fi