- progress.worked(20);
- TimedSessionCache.close();
- progress.worked(20);
-
- progress.subTask("Thread pools");
- ThreadUtils.shutdown();
- progress.worked(5);
-
- progress.subTask("Clear index status");
- try {
- // Everything ok, clear index dirty state.
- DatabaseIndexing.clearAllDirty();
- } catch (IOException e) {
- Activator.logError("Problems encountered while refreshing database index states, see exception for details.", e);
- }
- progress.worked(5);