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/git-gui.sh | |
| 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/git-gui.sh')
0 files changed, 0 insertions, 0 deletions