Code

mingw: add fallback for rmdir in case directory is in use
authorHeiko Voigt <hvoigt@hvoigt.net>
Tue, 14 Dec 2010 22:25:29 +0000 (23:25 +0100)
committerJunio C Hamano <gitster@pobox.com>
Tue, 14 Dec 2010 23:36:43 +0000 (15:36 -0800)
commit6e5d8b1b6aa77354f0f87604e877d0e027a25bae
tree35c5ebeac5565a6fb3ee55942c0878b05be2961c
parent62a6ce62b61e68169eec58767606d62ded069102
mingw: add fallback for rmdir in case directory is in use

The same logic as for unlink and rename also applies to rmdir. For
example in case you have a shell open in a git controlled folder. This
will easily fail. So lets be nice for such cases as well.

Signed-off-by: Heiko Voigt <heiko.voigt@mahr.de>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
compat/mingw.c
compat/mingw.h