diff options
Diffstat (limited to 'project.py')
-rw-r--r-- | project.py | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -1908,6 +1908,9 @@ class Project(object): | |||
1908 | # mode, we just tried sync'ing from the upstream field; it doesn't exist, thus | 1908 | # mode, we just tried sync'ing from the upstream field; it doesn't exist, thus |
1909 | # abort the optimization attempt and do a full sync. | 1909 | # abort the optimization attempt and do a full sync. |
1910 | break | 1910 | break |
1911 | elif ret < 0: | ||
1912 | # Git died with a signal, exit immediately | ||
1913 | break | ||
1911 | time.sleep(random.randint(30, 45)) | 1914 | time.sleep(random.randint(30, 45)) |
1912 | 1915 | ||
1913 | if initial: | 1916 | if initial: |