From dce1bedcf716fb84ac541a8b7316e692e52f9fc9 Mon Sep 17 00:00:00 2001
From: Christian Grothoff <christian@grothoff.org>
Date: Thu, 12 Dec 2019 17:14:28 +0100
Subject: [PATCH] need patience for http download

---
 src/gns/test_plugin_rest_gns.sh | 11 ++++++++---
 1 file changed, 8 insertions(+), 3 deletions(-)

diff --git a/src/gns/test_plugin_rest_gns.sh b/src/gns/test_plugin_rest_gns.sh
index 1412f8753..25c39f135 100755
--- a/src/gns/test_plugin_rest_gns.sh
+++ b/src/gns/test_plugin_rest_gns.sh
@@ -22,15 +22,20 @@ curl_get () {
     #$1 is link
     #$2 is grep
     XURL=`which gnurl || which curl`
-    echo "Using $XURL to download $1"
+    if [ "" = "$XURL" ]
+    then
+        echo "HTTP client (curl/gnurl) not found, exiting"
+        exit 77
+    fi
+    sleep 0.5
     cache="$(${XURL} -v "$1" 2>&1 | grep "$2")"
     #echo "$cache"
     if [ "" = "$cache" ]
     then
         gnunet-identity -D "$TEST_TLD" -c test_gns_lookup.conf > /dev/null 2>&1
         gnunet-arm -e -c test_gns_lookup.conf
-        echo "HTTP client (curl/gnurl) not found, exiting"
-        exit 77
+        echo "Download of $1 using $XURL failed"
+        exit 1
     fi
 }
 TEST_TLD="testtld"
-- 
2.25.1