]> source.dussan.org Git - jgit.git/commit
projects / jgit.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ffd1ac5) | patch
Suppress warning for trying to delete non-empty directory 71/127671/4
authorThomas Wolf <thomas.wolf@paranor.ch>
Sun, 19 Aug 2018 18:48:06 +0000 (20:48 +0200)
committerThomas Wolf <thomas.wolf@paranor.ch>
Wed, 22 Aug 2018 16:36:31 +0000 (18:36 +0200)
commitd9e767b431eae7978613cc8e0ade7467ec04376c
tree32ae3978f1924628c3b355702bb1b167deda0191tree | snapshot
parentffd1ac5dde053e861ad249d7d8d27df7cef56eb9commit | diff
Suppress warning for trying to delete non-empty directory

This is actually a fairly common occurrence; deleting the parent
directories can work only if the file deleted was the last one
in the directory.

Bug: 537872
Change-Id: I86d1d45e1e2631332025ff24af8dfd46c9725711
Signed-off-by: Thomas Wolf <thomas.wolf@paranor.ch>
org.eclipse.jgit/src/org/eclipse/jgit/internal/storage/file/RefDirectory.java diff | blob | history
JGit, the Java implementation of git: https://github.com/eclipse-jgit/jgit