diff options
Diffstat (limited to 'autotest.sh')
| -rwxr-xr-x | autotest.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/autotest.sh b/autotest.sh index ba6ec383866..33c4ad50de8 100755 --- a/autotest.sh +++ b/autotest.sh @@ -122,6 +122,7 @@ function cleanup_config { if [ ! -z "$DOCKER_CONTAINER_ID" ]; then echo "Kill the docker $DOCKER_CONTAINER_ID" + docker stop "$DOCKER_CONTAINER_ID" docker rm -f "$DOCKER_CONTAINER_ID" fi @@ -288,6 +289,7 @@ function execute_tests { if [ ! -z "$DOCKER_CONTAINER_ID" ] ; then echo "Kill the docker $DOCKER_CONTAINER_ID" + docker stop $DOCKER_CONTAINER_ID docker rm -f $DOCKER_CONTAINER_ID unset DOCKER_CONTAINER_ID fi |