diff options
author | Michael Haggerty <mhagger@alum.mit.edu> | 2014-01-18 23:49:01 +0100 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2014-01-21 13:47:28 -0800 |
commit | 08f555cb82f92797ca0aa0d6ba32e6872f1331e5 (patch) | |
tree | d7415181a5ae26f9d8e17a57638bdf9cafcbfa44 /git-gui/po/glossary/Makefile | |
parent | rename_tmp_log(): limit the number of remote_empty_directories() attempts (diff) | |
download | tgif-08f555cb82f92797ca0aa0d6ba32e6872f1331e5.tar.xz |
rename_tmp_log(): on SCLD_VANISHED, retry
If safe_create_leading_directories() fails because a file along the
path unexpectedly vanished, try again from the beginning. Try at most
4 times.
Signed-off-by: Michael Haggerty <mhagger@alum.mit.edu>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'git-gui/po/glossary/Makefile')
0 files changed, 0 insertions, 0 deletions