]> source.dussan.org Git - jgit.git/commit
Enhance RefDatabase with a refresh() method 80/2880/2
authorChristian Halstrick <christian.halstrick@sap.com>
Tue, 22 Mar 2011 10:19:18 +0000 (11:19 +0100)
committerChristian Halstrick <christian.halstrick@sap.com>
Sat, 2 Apr 2011 00:14:01 +0000 (02:14 +0200)
commitffbaf694e28fcc62c50326cd555d8f2646d31a0d
tree1b3211a45119581e2d5647512a19c98064e90b2c
parentc261b28f677fdc755b86d16abebd2c30093514b4
Enhance RefDatabase with a refresh() method

There should be a way to explictly refresh the refs cached in the
RefDirectory. Since commit c261b28 (use of FileSnapshot) this is
not needed anymore for storage in the filesystem. But for DHT based
storage an explicit refresh may be needed.

Change-Id: I7d30c3496c05e1fb6e9519f3af9f23c6adb93bf9
Signed-off-by: Christian Halstrick <christian.halstrick@sap.com>
org.eclipse.jgit/src/org/eclipse/jgit/lib/RefDatabase.java
org.eclipse.jgit/src/org/eclipse/jgit/storage/file/RefDirectory.java