From 272010c8b78c9792b7ff5319f32d305a4368b063 Mon Sep 17 00:00:00 2001
From: jurgenhaas <juergen@paragon-es.de>
Date: Mon, 7 Jan 2019 16:58:25 +0100
Subject: [PATCH] #17 Use docker kill instead of stop to accelerate the update
process
---
run/scripts/selfupdate | 2 +-
run/scripts/update | 6 +++---
2 files changed, 4 insertions(+), 4 deletions(-)
diff --git a/run/scripts/selfupdate b/run/scripts/selfupdate
index c0ea9de..49de806 100755
--- a/run/scripts/selfupdate
+++ b/run/scripts/selfupdate
@@ -20,4 +20,4 @@ fi
echo "Self update to versino ${NEWVERSION} succeeded!"
echo "Cleaning old container"
-docker stop l3drun
+docker kill l3drun >/dev/null
diff --git a/run/scripts/update b/run/scripts/update
index 629f00a..99f189b 100755
--- a/run/scripts/update
+++ b/run/scripts/update
@@ -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
--
GitLab