Make sure cancel of INDEX_DIFF_CACHE_UPDATE job is finished
commit116f474cb7cfbd03536e82768a552711f17ff3d8
authorRobin Stocker <robin@nibor.org>
Fri, 1 Feb 2013 11:45:28 +0000 (1 12:45 +0100)
committerMatthias Sohn <matthias.sohn@sap.com>
Sat, 2 Feb 2013 23:19:10 +0000 (3 00:19 +0100)
tree0b8b80c6752344dc63e867c058b87682f05d1ddd
parenta4edf3b4246c4efff438e16c4f77b008c5f4a452
Make sure cancel of INDEX_DIFF_CACHE_UPDATE job is finished

Otherwise the job could still be running when the workspace is closed.

Bug: 361096
Change-Id: I4b2c354c269f8e06572c440d9a68fd832528ddf8
Signed-off-by: Matthias Sohn <matthias.sohn@sap.com>
org.eclipse.egit.core/src/org/eclipse/egit/core/internal/indexdiff/IndexDiffCache.java