diff --git a/browser_patches/docker/cli.sh b/browser_patches/docker/cli.sh index 5719d2c2c2..0356775250 100755 --- a/browser_patches/docker/cli.sh +++ b/browser_patches/docker/cli.sh @@ -86,7 +86,7 @@ elif [[ "$2" == "compile" ]]; then elif [[ "$2" == "enter" ]]; then docker run --rm ${DOCKER_ARGS} --init --name "${DOCKER_CONTAINER_NAME}" --platform "${DOCKER_PLATFORM}" -it "${DOCKER_IMAGE_NAME}" /bin/bash elif [[ "$2" == "kill" || "$2" == "stop" ]]; then - docker kill "${DOCKER_CONTAINER_NAME}" + docker kill "${DOCKER_CONTAINER_NAME}" || true # Wait for container to stop docker wait "${DOCKER_CONTAINER_NAME}" || true else