From afce4cdea3fb8306beefa953b2d28180dd1993fe Mon Sep 17 00:00:00 2001
From: tastytea <tastytea@tastytea.de>
Date: Mon, 8 Jun 2020 08:03:51 +0200
Subject: [PATCH] get_real_instance_domain.sh: Fix optional curl arguments.

---
 get_real_instance_domain.sh | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/get_real_instance_domain.sh b/get_real_instance_domain.sh
index b5db348..3f2d109 100755
--- a/get_real_instance_domain.sh
+++ b/get_real_instance_domain.sh
@@ -4,7 +4,7 @@
 # running on <Your host> with access logging activated in order for this to
 # work.
 
-# Version: 2019-08-17_1
+# Version: 2020-06-08_1
 
 if [ -z "${2}" ]; then
     echo "Usage: ${0} <Your host> <Remote host> [additional curl options]" >&2
@@ -13,6 +13,7 @@ fi
 
 your_host="${1}"
 remote_host="${2}"
+shift 2
 
 if command -v md5sum > /dev/null; then
     uuid="$(date | md5sum | cut -d' ' -f 1)"