| 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):
|
|
|