### Eclipse Workspace Patch 1.0 #P org.eclipse.jdt.core Index: search/org/eclipse/jdt/internal/core/search/processing/JobManager.java =================================================================== RCS file: /cvsroot/eclipse/org.eclipse.jdt.core/search/org/eclipse/jdt/internal/core/search/processing/JobManager.java,v retrieving revision 1.102 diff -u -r1.102 JobManager.java --- search/org/eclipse/jdt/internal/core/search/processing/JobManager.java 7 Jan 2010 20:18:12 -0000 1.102 +++ search/org/eclipse/jdt/internal/core/search/processing/JobManager.java 9 Dec 2010 09:52:51 -0000 @@ -226,7 +226,7 @@ float lastWorked = 0; float totalWorked = 0; while ((awaitingJobsCount = awaitingJobsCount()) > 0) { - if (subProgress != null && subProgress.isCanceled()) + if (subProgress != null && subProgress.isCanceled() && this.processingThread == null) throw new OperationCanceledException(); IJob currentJob = currentJob(); // currentJob can be null when jobs have been added to the queue but job manager is not enabled