108109110111112113114115116117118
m_engine.getProgressManager().startProgress( pi, PROGRESS_ID ); for( WikiPage page : allPages ) { mgr.reindexPage(page); m_count++; } m_engine.getProgressManager().stopProgress( PROGRESS_ID ); shutdown();
106107108109110111112113114115116