commit | 4f288100ceed14c65a1e964b2db4aaee4f4199fc | [log] [tgz] |
---|---|---|
author | Heiko Voigt <hvoigt@hvoigt.net> | Mon Feb 07 21:52:34 2011 +0100 |
committer | Junio C Hamano <gitster@pobox.com> | Mon Feb 07 15:45:54 2011 -0800 |
tree | 452ad7b77100f834bc4e1189ba12041d36dbb697 | |
parent | c9b78400802acb3e02249c44286162edd9ed2b35 [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>