mirrors/cdt
1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-08-04 06:45:43 +02:00
Code Issues Wiki Activity

Cosmetics.

Browse source
This commit is contained in:
Sergey Prigogin 2014-04-22 11:37:13 -07:00
parent 7593d5ee98
commit 54fd5d6cd0
1 changed files with 4 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
core/org.eclipse.cdt.core/parser/org/eclipse/cdt/internal/core/pdom/PDOMIndexerJob.java
View file

@ -30,7 +30,7 @@ public class PDOMIndexerJob extends Job {
* Job updating the progress monitor of the indexer job. * Job updating the progress monitor of the indexer job.
*/ */
final class ProgressUpdateJob extends Job { final class ProgressUpdateJob extends Job {
private boolean fStopped= false; private boolean fStopped;
private ProgressUpdateJob() { private ProgressUpdateJob() {
super(CCorePlugin.getResourceString("PDOMIndexerJob.updateMonitorJob")); //$NON-NLS-1$ super(CCorePlugin.getResourceString("PDOMIndexerJob.updateMonitorJob")); //$NON-NLS-1$
@ -40,7 +40,7 @@ public class PDOMIndexerJob extends Job {
@Override @Override
protected IStatus run(IProgressMonitor m) { protected IStatus run(IProgressMonitor m) {
int currentTick= 0; int currentTick= 0;
while(!fStopped && !m.isCanceled()) { while (!fStopped && !m.isCanceled()) {
currentTick= pdomManager.getMonitorMessage(PDOMIndexerJob.this, currentTick, TOTAL_MONITOR_WORK); currentTick= pdomManager.getMonitorMessage(PDOMIndexerJob.this, currentTick, TOTAL_MONITOR_WORK);
try { try {
Thread.sleep(PROGRESS_UPDATE_INTERVAL); Thread.sleep(PROGRESS_UPDATE_INTERVAL);
@ -115,13 +115,13 @@ public class PDOMIndexerJob extends Job {
currentTask= null; currentTask= null;
taskMutex.notifyAll(); taskMutex.notifyAll();
// user cancel, tell manager and return // User cancel, tell manager and return.
if (monitor.isCanceled()) { if (monitor.isCanceled()) {
pdomManager.cancelledIndexerJob(cancelledByManager); pdomManager.cancelledIndexerJob(cancelledByManager);
return Status.CANCEL_STATUS; return Status.CANCEL_STATUS;
} }
// pick up new task // Pick up new task.
currentTask= pdomManager.getNextTask(); currentTask= pdomManager.getNextTask();
} }