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

fix problem encountered while trying to reproduce 70063

This commit is contained in:
Andrew Niefer 2004-08-19 16:10:19 +00:00
parent db30e1599c
commit 1b940db018

View file

@ -327,7 +327,7 @@ public class IndexManager extends JobManager implements IIndexConstants {
* @return
*/
public boolean isIndexEnabled(IProject project) {
if( project == null || !project.exists() )
if( project == null || !project.exists() || !project.isOpen() )
return false;
Boolean indexValue = null;
@ -335,8 +335,6 @@ public class IndexManager extends JobManager implements IIndexConstants {
try {
indexValue = (Boolean) project.getSessionProperty(activationKey);
} catch (CoreException e) {
// TODO Auto-generated catch block
e.printStackTrace();
}
if (indexValue != null)
@ -354,12 +352,7 @@ public class IndexManager extends JobManager implements IIndexConstants {
indexValue = new Boolean(true);
project.setSessionProperty(IndexManager.activationKey, indexValue);
return indexValue.booleanValue();
} catch (CoreException e1) {
// TODO Auto-generated catch block
e1.printStackTrace();
}
return false;