Skip to content

Commit 1cd138e

Browse files
Potential fix for pull request finding
Co-authored-by: Copilot Autofix powered by AI <175728472+Copilot@users.noreply.github.com>
1 parent f224b44 commit 1cd138e

1 file changed

Lines changed: 2 additions & 8 deletions

File tree

script/move-tables/teardown

Lines changed: 2 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -14,13 +14,7 @@ if [[ ":$PATH:" != *":$GH_OST_ROOT:"* ]]; then
1414
fi
1515

1616
echo "Stopping containers..."
17-
docker stop mysql-source-replica
18-
docker stop mysql-source-primary
19-
docker stop mysql-target-replica
20-
docker stop mysql-target-primary
17+
docker stop mysql-source-replica mysql-source-primary mysql-target-replica mysql-target-primary 2>/dev/null || true
2118

2219
echo "Removing containers..."
23-
docker rm mysql-source-replica
24-
docker rm mysql-source-primary
25-
docker rm mysql-target-replica
26-
docker rm mysql-target-primary
20+
docker rm -f mysql-source-replica mysql-source-primary mysql-target-replica mysql-target-primary 2>/dev/null || true

0 commit comments

Comments
 (0)