Merge changes I32da12c2,Ie4a65b3e

* changes:
  Skip sleep and retry if git remote update exits with a signal
  Catch exceptions in project list generator

1 files changed, 3 insertions, 0 deletions

diff --git a/project.py b/project.py
index 86e2756d..610dd5a7 100644
--- a/project.py
+++ b/project.py
@@ -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: