Make Echidna status checking tolerate transient failure

It often happens that checking the Echinda status too quickly after
request upload results in failure (to get the validation results),
but checking it shortly after that would result in success.
So, make the status-check script retry a couple of times on failure.

Author: dschuff

document/util/check-echidna-status.py

@@ -23,13 +23,20 @@ def get_echidna_id(directory):
 def get_current_response(echidna_id):
     url = ECHIDNA_STATUS_URL + echidna_id
     print(f'Fetching {url}')
-    response = requests.get(url, allow_redirects=True)
-    if response.status_code != 200:
+    retry = 2
+    while retry:
+        response = requests.get(url, allow_redirects=True)
+        if response.status_code == 200:
+            return response.json()
+
         print(f'Got status code {response.status_code}, text:')
-        print(response.text)
-        raise Exception('Failed to fetch echidna result')
+        retry -= 1
+        if retry:
+            print('Retrying in 5s')
+
+    print(response.text)
+    raise Exception('Failed to fetch echidna result')
 
-    return response.json()
 
 
 def get_echidna_result(echidna_id):