diff options
| author | Colin Cross <ccross@android.com> | 2015-05-13 00:10:02 -0700 |
|---|---|---|
| committer | Colin Cross <ccross@android.com> | 2015-05-13 18:11:34 +0000 |
| commit | c4b301f988ad7499257538070f78f5e50e61b3ae (patch) | |
| tree | f19c83f4c06684361ffb2fec3028b34f89211a29 /manifest_xml.py | |
| parent | 31a7be561ef34c134447d92a3d391b17ecd7c790 (diff) | |
| download | git-repo-c4b301f988ad7499257538070f78f5e50e61b3ae.tar.gz | |
Skip sleep and retry if git remote update exits with a signal
Pressing ctrl-c during repo sync often hangs for 30 to 45 seconds
due to the time.sleep and retry in _RemoteFetch. If git exits with
a signal, for example -2 for SIGINT triggered by ctrl-c, skip the
sleep and retry.
Change-Id: I32da12c2dcc96d9cc0b12a066e824b12ebfb52a0
Diffstat (limited to 'manifest_xml.py')
0 files changed, 0 insertions, 0 deletions