diff options
| -rwxr-xr-x | tools/deploy_aio.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/deploy_aio.sh b/tools/deploy_aio.sh index 7b617e2c0..bddb34e5c 100755 --- a/tools/deploy_aio.sh +++ b/tools/deploy_aio.sh @@ -47,6 +47,7 @@ function check_failure { # Command failures after this point can be expected set +o errexit + docker images docker ps -a failed_containers=$(docker ps -a --format "{{.Names}}" --filter status=exited) |