1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-04-29 19:45:01 +02:00

Turn off the old indexer. Good night, Gracie...

This commit is contained in:
Doug Schaefer 2006-04-07 19:25:24 +00:00
parent e9eb7ef7e6
commit c4bbf1b922
2 changed files with 27 additions and 29 deletions

View file

@ -377,32 +377,33 @@ public class IndexManager extends JobManager{
} }
public ICDTIndexer getIndexerForProject(IProject project){ public ICDTIndexer getIndexerForProject(IProject project){
ICDTIndexer indexer = null; return null;
try { // ICDTIndexer indexer = null;
//Make sure we're not updating list // try {
monitor.enterRead(); // //Make sure we're not updating list
// monitor.enterRead();
//See if indexer exists already //
indexer = (ICDTIndexer) indexerMap.get(project); // //See if indexer exists already
// indexer = (ICDTIndexer) indexerMap.get(project);
//Create the indexer and store it //
if (indexer == null) { // //Create the indexer and store it
monitor.exitRead(); // if (indexer == null) {
try { // monitor.exitRead();
monitor.enterWrite(); // try {
indexer = getIndexer(project); // monitor.enterWrite();
//Make sure we're not putting null in map // indexer = getIndexer(project);
if (indexer != null) // //Make sure we're not putting null in map
indexerMap.put(project,indexer); // if (indexer != null)
} finally{ // indexerMap.put(project,indexer);
monitor.exitWriteEnterRead(); // } finally{
} // monitor.exitWriteEnterRead();
} // }
return indexer; // }
// return indexer;
}finally { //
monitor.exitRead(); // }finally {
} // monitor.exitRead();
// }
} }
public ICDTIndexer getDefaultIndexer(IProject project) throws CoreException { public ICDTIndexer getDefaultIndexer(IProject project) throws CoreException {

View file

@ -295,9 +295,6 @@ public class CCorePlugin extends Plugin {
fCoreModel = CoreModel.getDefault(); fCoreModel = CoreModel.getDefault();
fCoreModel.startup(); fCoreModel.startup();
//Fired up the indexer
fCoreModel.startIndexing();
// Fire up the PDOM // Fire up the PDOM
pdomManager = new PDOMManager(); pdomManager = new PDOMManager();
pdomManager.startup(); pdomManager.startup();