mirror of
https://github.com/Dev-Wiki/git-repo.git
synced 2025-12-13 16:14:02 +08:00
Merge changes I32da12c2,Ie4a65b3e
* changes: Skip sleep and retry if git remote update exits with a signal Catch exceptions in project list generator
This commit is contained in:
@@ -1909,6 +1909,9 @@ class Project(object):
|
||||
# mode, we just tried sync'ing from the upstream field; it doesn't exist, thus
|
||||
# abort the optimization attempt and do a full sync.
|
||||
break
|
||||
elif ret < 0:
|
||||
# Git died with a signal, exit immediately
|
||||
break
|
||||
time.sleep(random.randint(30, 45))
|
||||
|
||||
if initial:
|
||||
|
||||
Reference in New Issue
Block a user