]> source.dussan.org Git - jgit.git/commit
projects / jgit.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1dcb068) | patch
Do not ignore path deletion errors 67/125767/1
authorLuca Milanesio <luca.milanesio@gmail.com>
Sun, 8 Jul 2018 22:41:00 +0000 (23:41 +0100)
committerLuca Milanesio <luca.milanesio@gmail.com>
Sun, 8 Jul 2018 22:44:17 +0000 (23:44 +0100)
commit5a8ad44208c8b711077b9235839b66cd50803ede
treeba5cd59191d705c577090711b671a66d8b7555a1tree | snapshot
parent1dcb0688c7c229501e6a486c03ffe251d5ed2761commit | diff
Do not ignore path deletion errors

Log as warning when an attempt to remove a directory
fails. This helps troubleshooting some bugs like the GC leaving
behind empty directories.

Change-Id: Idb94ce17f8be9668a970c7ecae31436bf434073c
Signed-off-by: Luca Milanesio <luca.milanesio@gmail.com>
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