diff options
| author |  Alex Riesen <raa.lkml@gmail.com> | 2011-04-01 10:29:16 +0200 |
|---|---|---|
| committer |  Junio C Hamano <gitster@pobox.com> | 2011-04-01 11:16:21 -0700 |
| commit | 0235017eafa8dfc3a7353b7091ad5109d0beb7a5 (patch) | |
| tree | f62dcba6b55c4043600bbd0620b91e54c885b129 /contrib/ciabot/ciabot.py | |
| parent | parse-remote: typofix (diff) | |
| download | tgif-0235017eafa8dfc3a7353b7091ad5109d0beb7a5.tar.xz | |
clean: unreadable directory may still be rmdir-able if it is empty
As a last ditch effort, try rmdir(2) when we cannot read the directory
to be removed. It may be an empty directory that we can remove without
any permission, as long as we can modify its parent directory.
Noticed by Linus.
Signed-off-by: Alex Riesen <raa.lkml@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'contrib/ciabot/ciabot.py')
0 files changed, 0 insertions, 0 deletions