| Index: git_cache.py
|
| diff --git a/git_cache.py b/git_cache.py
|
| index 9137ef5f58e27cc95a0e0a701693d61af364cba4..9627dd202163f38582125d71561ad3ab51c87a30 100755
|
| --- a/git_cache.py
|
| +++ b/git_cache.py
|
| @@ -102,7 +102,7 @@ class Lockfile(object):
|
| return
|
| except OSError as e:
|
| if elapsed < self.timeout:
|
| - sleep_time = min(3, self.timeout - elapsed)
|
| + sleep_time = max(10, min(3, self.timeout - elapsed))
|
| logging.info('Could not create git cache lockfile; '
|
| 'will retry after sleep(%d).', sleep_time);
|
| elapsed += sleep_time
|
|
|