diff options
author | Michael Haggerty <mhagger@alum.mit.edu> | 2014-01-18 23:48:54 +0100 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2014-01-21 13:46:07 -0800 |
commit | c4c61c763e700d02344490590d6980ee51031a27 (patch) | |
tree | 1d3b1b35cdf63ad6f4fa0b48203e45bf805c30a6 /remote-curl.c | |
parent | safe_create_leading_directories(): add new error value SCLD_VANISHED (diff) | |
download | tgif-c4c61c763e700d02344490590d6980ee51031a27.tar.xz |
lock_ref_sha1_basic(): on SCLD_VANISHED, retry
If safe_create_leading_directories() fails because a file along the
path unexpectedly vanished, try again (up to 3 times).
This can occur if another process is deleting directories at the same
time as we are trying to make them. For example, "git pack-refs
--all" tries to delete the loose refs and any empty directories that
are left behind. If a pack-refs process is running, then it might
delete a directory that we need to put a new loose reference in.
If safe_create_leading_directories() thinks this might have happened,
then take its advice and try again (maximum three attempts).
Signed-off-by: Michael Haggerty <mhagger@alum.mit.edu>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'remote-curl.c')
0 files changed, 0 insertions, 0 deletions