From 899687d3f246ff1e11e41247070141a6355f6516 Mon Sep 17 00:00:00 2001
From: Kroese <kroese@users.noreply.github.com>
Date: Wed, 8 Nov 2023 04:12:09 +0100
Subject: [PATCH] fix: Retry if needed

---
 run/print.sh | 56 ++++++++++++++++++++++++++++++----------------------
 1 file changed, 32 insertions(+), 24 deletions(-)

diff --git a/run/print.sh b/run/print.sh
index 0176018..fafbf53 100644
--- a/run/print.sh
+++ b/run/print.sh
@@ -5,38 +5,46 @@ info () { echo -e "\E[1;34m❯\E[1;36m $1\E[0m" ; }
 error () { echo -e >&2 "\E[1;31m❯ ERROR: $1\E[0m" ; }
 
 sleep 1
+retry=true
 
-# Retrieve IP from guest VM
-RESPONSE=$(curl -s -m 16 -S http://127.0.0.1:2210/read?command=10 2>&1)
+while [ "$retry" = true ]
+do
 
-if [[ ! "${RESPONSE}" =~ "\"success\"" ]] ; then
-  error "Failed to connect to guest: $RESPONSE" && exit 1
-fi
+  # Retrieve IP from guest VM
+  RESPONSE=$(curl -s -m 16 -S http://127.0.0.1:2210/read?command=10 2>&1)
 
-# Retrieve the HTTP port number
-if [[ ! "${RESPONSE}" =~ "\"http_port\"" ]] ; then
-  error "Failed to parse response from guest: $RESPONSE" && exit 1
-fi
+  if [[ ! "${RESPONSE}" =~ "\"success\"" ]] ; then
+    error "Failed to connect to guest: $RESPONSE" && exit 1
+  fi
 
-rest=${RESPONSE#*http_port}
-rest=${rest#*:}
-rest=${rest%%,*}
-PORT=${rest%%\"*}
+  # Retrieve the HTTP port number
+  if [[ ! "${RESPONSE}" =~ "\"http_port\"" ]] ; then
+    error "Failed to parse response from guest: $RESPONSE" && exit 1
+  fi
 
-[ -z "${PORT}" ] && error "Guest has not set a portnumber yet.." && exit 1
+  rest=${RESPONSE#*http_port}
+  rest=${rest#*:}
+  rest=${rest%%,*}
+  PORT=${rest%%\"*}
 
-# Retrieve the IP address
-if [[ ! "${RESPONSE}" =~ "eth0" ]] ; then
-  error "Failed to parse response from guest: $RESPONSE" && exit 1
-fi
+  [ -z "${PORT}" ] && error "Guest has not set a portnumber yet.." && sleep 3 && continue
 
-rest=${RESPONSE#*eth0}
-rest=${rest#*ip}
-rest=${rest#*:}
-rest=${rest#*\"}
-IP=${rest%%\"*}
+  # Retrieve the IP address
+  if [[ ! "${RESPONSE}" =~ "eth0" ]] ; then
+    error "Failed to parse response from guest: $RESPONSE" && exit 1
+  fi
 
-[ -z "${IP}" ] && error "Guest has not received an IP yet.." && exit 1
+  rest=${RESPONSE#*eth0}
+  rest=${rest#*ip}
+  rest=${rest#*:}
+  rest=${rest#*\"}
+  IP=${rest%%\"*}
+
+  [ -z "${IP}" ] && error "Guest has not received an IP yet.." && sleep 3 && continue
+
+  retry=false
+
+done
 
 if [[ "$IP" == "20.20"* ]]; then
   MSG="port ${PORT}"