]> source.dussan.org Git - jgit.git/commit
Store in IndexChangedEvent if it was caused by JGit itself 48/122548/2
authorMatthias Sohn <matthias.sohn@sap.com>
Sun, 13 May 2018 19:37:21 +0000 (21:37 +0200)
committerMatthias Sohn <matthias.sohn@sap.com>
Sun, 13 May 2018 20:38:54 +0000 (22:38 +0200)
commite9e150fdd24dbeb54df614a4d47da3074c766b28
treec090140247ef49f26c89abeecc5dd668a3f3510b
parent08d2e0188c932d1c87f603c9c1435296a63910d2
Store in IndexChangedEvent if it was caused by JGit itself

This allows to differentiate if index was changed by an external git
command or by JGit itself.

Change-Id: Iae692ba7d9bf01a288b3fb2dc2d07aec9891c712
Signed-off-by: Matthias Sohn <matthias.sohn@sap.com>
org.eclipse.jgit/src/org/eclipse/jgit/dircache/DirCache.java
org.eclipse.jgit/src/org/eclipse/jgit/events/IndexChangedEvent.java
org.eclipse.jgit/src/org/eclipse/jgit/internal/storage/dfs/DfsRepository.java
org.eclipse.jgit/src/org/eclipse/jgit/internal/storage/file/FileRepository.java
org.eclipse.jgit/src/org/eclipse/jgit/lib/Repository.java