diff options
author | Erik Faye-Lund <kusmabite@gmail.com> | 2012-12-10 15:42:27 +0100 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2012-12-10 08:23:53 -0800 |
commit | a83b2b578c04a2abe33a586ec9c64e75ef5bc819 (patch) | |
tree | 5b215f63700b0233f37d874fe2a40c7abfad0eb8 /Documentation/git-replace.txt | |
parent | maybe_flush_or_die: move a too-loose Windows specific error (diff) | |
download | tgif-a83b2b578c04a2abe33a586ec9c64e75ef5bc819.tar.xz |
mingw_rmdir: do not prompt for retry when non-empty
in ab1a11be ("mingw_rmdir: set errno=ENOTEMPTY when appropriate"),
a check was added to prevent us from retrying to delete a directory
that is both in use and non-empty.
However, this logic was slightly flawed; since we didn't return
immediately, we end up falling out of the retry-loop, but right into
the prompting-loop.
Fix this by setting errno, and guarding the prompting-loop with an
errno-check.
Signed-off-by: Erik Faye-Lund <kusmabite@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation/git-replace.txt')
0 files changed, 0 insertions, 0 deletions