]> source.dussan.org Git - jgit.git/commit
projects / jgit.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 66cbf92) | patch
If a pack isn't found on disk remove it from pack list 03/40503/1
authorMatthias Sohn <matthias.sohn@sap.com>
Mon, 26 Jan 2015 13:56:25 +0000 (14:56 +0100)
committerMatthias Sohn <matthias.sohn@sap.com>
Tue, 27 Jan 2015 23:37:39 +0000 (18:37 -0500)
commitf5936405a3a66b821f716e551de6ee4c1c33ca0b
treea04c13ba704dd2ce007de2f158d18891ebb882f2tree | snapshot
parent66cbf9255cef5a6c7f3c008fa9cb36c2bd8066a9commit | diff
If a pack isn't found on disk remove it from pack list

If accessing a pack throws FileNotFoundException the pack was deleted
and we need to remove it from the pack list. This can be caused e.g. by
git gc.

Change-Id: I5d10f87f364dadbbdbfb61b6b2cbdee9c7457f3d
Signed-off-by: Matthias Sohn <matthias.sohn@sap.com>
org.eclipse.jgit/resources/org/eclipse/jgit/internal/JGitText.properties diff | blob | history
org.eclipse.jgit/src/org/eclipse/jgit/internal/JGitText.java diff | blob | history
org.eclipse.jgit/src/org/eclipse/jgit/internal/storage/file/ObjectDirectory.java diff | blob | history
JGit, the Java implementation of git: https://github.com/eclipse-jgit/jgit