Index: scripts/slave/build_scan.py |
diff --git a/scripts/slave/build_scan.py b/scripts/slave/build_scan.py |
index 1561c0db36e5938db2a9f1c1fcb683d2af2679e8..410bd05073ab5b38f94be8ba5639701ef90d1c75 100755 |
--- a/scripts/slave/build_scan.py |
+++ b/scripts/slave/build_scan.py |
@@ -38,7 +38,12 @@ def _url_open_json(url): |
raise |
attempts += 1 |
- time.sleep(2 ** attempts) |
+ time_to_sleep = 2 ** attempts |
+ logging.info( |
+ "url fetch encountered %s, sleeping for %d seconds and retrying..." % ( |
+ f, time_to_sleep)) |
+ |
+ time.sleep(time_to_sleep) |
def get_root_json(master_url): |