From d15014f82e2b5c4f0ef3422b1ee180106d8d8a69 Mon Sep 17 00:00:00 2001
From: mmetc <92726601+mmetc@users.noreply.github.com>
Date: Wed, 30 Nov 2022 14:19:20 +0100
Subject: [PATCH] silence harmless "machines delete" error in dockerfile
 (#1904)

---
 docker/docker_start.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docker/docker_start.sh b/docker/docker_start.sh
index 47ad758c7..4b7c07788 100755
--- a/docker/docker_start.sh
+++ b/docker/docker_start.sh
@@ -81,7 +81,7 @@ fi
 if isfalse "$DISABLE_AGENT"; then
     if isfalse "$DISABLE_LOCAL_API"; then
         echo "Regenerate local agent credentials"
-        cscli machines delete "$CUSTOM_HOSTNAME"
+        cscli machines delete "$CUSTOM_HOSTNAME" 2>/dev/null || true
         # shellcheck disable=SC2086
         cscli machines add "$CUSTOM_HOSTNAME" --auto --url "$LOCAL_API_URL"
     fi