| commit | 477962a039498dc7dfa8b2919fe6fd6fb8a78d6c | |
| author | Matthias Sohn <matthias.sohn@sap.com> | |
| Sun, 13 May 2018 19:00:12 +0000 (13 21:00 +0200) | ||
| committer | Matthias Sohn <matthias.sohn@sap.com> | |
| Sun, 13 May 2018 20:18:05 +0000 (13 22:18 +0200) | ||
| tree | df8de976551588eec246e688149e398d7a6608e5 | treesnapshot (tar.gz zip) |
| parent | c3c3e0fb5f9185955ae6af597e8662fb49e60c8e | commitdiff |
Ignore IndexChangedEvent if it originates from the same JGit process
Repository.scanForRepoChanges() fires an IndexChangedEvent when the
index file was modified. Since JGit now fires fine grained
WorkingTreeModifiedEven indicating exactly which files have been changed
we should only handle IndexChangedEvents originating from external git
commands in order to avoid double processing.
Change-Id: Id28c26b5fe08c0466ae8680c7385cfa0901ae4e6
Signed-off-by: Matthias Sohn <matthias.sohn@sap.com>
Repository.scanForRepoChanges() fires an IndexChangedEvent when the
index file was modified. Since JGit now fires fine grained
WorkingTreeModifiedEven indicating exactly which files have been changed
we should only handle IndexChangedEvents originating from external git
commands in order to avoid double processing.
Change-Id: Id28c26b5fe08c0466ae8680c7385cfa0901ae4e6
Signed-off-by: Matthias Sohn <matthias.sohn@sap.com>