From 8be6fd9ecf08ce6c37c46c5201815c25f59dfe07 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Philipp=20M=C3=B6ller?= Date: Thu, 1 Oct 2015 09:54:29 +0200 Subject: [PATCH] Remove the container after use --- Scripts/developer_scripts/create_new_release | 1 + 1 file changed, 1 insertion(+) diff --git a/Scripts/developer_scripts/create_new_release b/Scripts/developer_scripts/create_new_release index 3e757665518..e31d4fa6d19 100755 --- a/Scripts/developer_scripts/create_new_release +++ b/Scripts/developer_scripts/create_new_release @@ -333,6 +333,7 @@ if [ -n "$DO_PUBLIC" ]; then container_id=`docker ps -q -l` docker start -a ${container_id} docker cp ${container_id}:/nsis_release/${public_release_name}-Setup.exe "${HTML_DIR}/${release_name}-public/" + docker rm ${container_id} fi # Remove local directory and tarball