diff options
| -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: |
