projects / git.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c9b7840) | patch
mingw: add fallback for rmdir in case directory is in use
authorHeiko Voigt <hvoigt@hvoigt.net>
Mon, 7 Feb 2011 20:52:34 +0000 (21:52 +0100)
committerJunio C Hamano <gitster@pobox.com>
Mon, 7 Feb 2011 23:45:54 +0000 (15:45 -0800)
commit4f288100ceed14c65a1e964b2db4aaee4f4199fc
tree452ad7b77100f834bc4e1189ba12041d36dbb697tree | snapshot
parentc9b78400802acb3e02249c44286162edd9ed2b35commit | diff
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 diff | blob | history
compat/mingw.h diff | blob | history
Git—the stupid content tracker