diff options
author | Maxim Kuvyrkov <maxim.kuvyrkov@linaro.org> | 2023-08-16 06:15:39 +0000 |
---|---|---|
committer | Maxim Kuvyrkov <maxim.kuvyrkov@linaro.org> | 2023-08-16 06:15:39 +0000 |
commit | 3e655e99698d0df1fee3e3e57993f449c9496b02 (patch) | |
tree | 078589f38690682c32403e7ab222a4f338a54a54 /start-container-docker.sh | |
parent | 275d067c071de3e05b9ba8103392d333c6dbb240 (diff) |
start-container-docker.sh: Debug cleanup of secondary containers
Change-Id: I6b3798f3d046544abc3c9cd5dc91744cbbf9800f
Diffstat (limited to 'start-container-docker.sh')
-rwxr-xr-x | start-container-docker.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/start-container-docker.sh b/start-container-docker.sh index d2cd87e0..99006696 100755 --- a/start-container-docker.sh +++ b/start-container-docker.sh @@ -626,7 +626,7 @@ stop_all_containers () { local i while read i; do - $DOCKER stop "\$i" + $DOCKER stop "\$i" || echo "WARNING: Could not stop \$i" done < <($SSH $session_host flock "$WORKSPACE/.lock" \ cat "$WORKSPACE/.lock") } @@ -635,7 +635,7 @@ cleanup_all_containers () { local i while read i; do - $DOCKER rm -vf "\$i" + $DOCKER rm -vf "\$i" || echo "WARNING: Could not cleanup \$i" done < <($SSH $session_host flock "$WORKSPACE/.lock" \ cat "$WORKSPACE/.lock") } |