diff --git a/document/util/check-echidna-status.py b/document/util/check-echidna-status.py index 9715f72e8e..80acba834e 100755 --- a/document/util/check-echidna-status.py +++ b/document/util/check-echidna-status.py @@ -34,7 +34,7 @@ def get_current_response(echidna_id): retry -= 1 if retry: print('Retrying in 5s') - + time.sleep(5) raise Exception('Failed to fetch echidna result')