]> source.dussan.org Git - jgit.git/commit
projects / jgit.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fc57689) | patch
Fix garbage collection failing to delete pack file 18/182018/7
authorandrewxian2000 <andrew.xian2000@gmail.com>
Mon, 14 Jun 2021 21:58:52 +0000 (09:58 +1200)
committerMatthias Sohn <matthias.sohn@sap.com>
Tue, 22 Jun 2021 12:16:30 +0000 (14:16 +0200)
commit1ae7e08bcae3a82c8cb201affae8136332753cb4
tree952e765d85eb7c967cf0656b5f2c9886d7447addtree | snapshot
parentfc57689774c5503838c96ee305f4977c585e87a2commit | diff
Fix garbage collection failing to delete pack file

The loosen() method has opened pack file and the open pack file handle
may prevent it from being deleted e.g. on Windows. Fix this by closing
the pack file only after loosen() finished.

Bug: 574178
Change-Id: Icd59931a218d84c9c97b450eea87b21ed01248ff
Signed-off-by: andrew.xian2000@gmail.com
Signed-off-by: Matthias Sohn <matthias.sohn@sap.com>
org.eclipse.jgit/src/org/eclipse/jgit/internal/storage/file/GC.java diff | blob | history
JGit, the Java implementation of git: https://github.com/eclipse-jgit/jgit