]> source.dussan.org Git - jgit.git/commit
projects / jgit.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7ffe547) | patch
Log if Repository.useCnt becomes negative 65/76865/3
authorMatthias Sohn <matthias.sohn@sap.com>
Thu, 7 Jul 2016 14:57:49 +0000 (16:57 +0200)
committerMatthias Sohn <matthias.sohn@sap.com>
Tue, 12 Jul 2016 09:32:50 +0000 (11:32 +0200)
commitceaadf8f9835e01ca8b361885ea357d7b00536b6
treee9c13875315e95ffaead93e9bb41956e6c6770b4tree | snapshot
parent7ffe547da79bf26301c5e5a0665d19a233b44818commit | diff
Log if Repository.useCnt becomes negative

We observe in Gerrit 2.12 that useCnt can become negative in rare cases.
Log this to help finding the bug.

Change-Id: Ie91c7f9d190a5d7cf4733d4bf84124d119ca20f7
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/lib/Repository.java diff | blob | history
JGit, the Java implementation of git: https://github.com/eclipse-jgit/jgit