mirrors/cdt
1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-07-01 06:05:24 +02:00
Code Issues Wiki Activity

Fix for Bug 78678: Indexer stops reindexing file after repeated saves

Browse source
This commit is contained in:
Bogdan Gheorghe 2004-11-17 21:52:45 +00:00
parent 6a84887550
commit 502f1c4822
2 changed files with 11 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
core/org.eclipse.cdt.core/index/ChangeLog
View file

@ -1,3 +1,9 @@
2004-11-17 Bogdan Gheorghe
Fix for Bug 78678: Indexer stops reindexing file after repeated saves
* index/org/eclipse/cdt/internal/core/search/processing/JobManager.java
2004-11-12 Bogdan Gheorghe
Fix for Bug 78414: IProblem count increased through indexing header files stand-alone

6
core/org.eclipse.cdt.core/search/org/eclipse/cdt/internal/core/search/processing/JobManager.java
View file

@ -472,7 +472,11 @@ public abstract class JobManager implements Runnable {
//if (status == FAILED) request(job);
} finally {
executing = false;
jobFinishedNotification(currentJob());
//Answer the job directly from the array; using currentJob()
//results in no notification if indexing is disabled (Bug 78678)
jobFinishedNotification(awaitingJobs[jobStart]);
if (VERBOSE) {
JobManager.verbose("FINISHED background job - " + job); //$NON-NLS-1$
}