Skip to main content
aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorPhilipe Mulet2005-08-12 10:35:19 +0000
committerPhilipe Mulet2005-08-12 10:35:19 +0000
commit774d5119ee6634280d0c3cb7022bec64f709ca9b (patch)
tree88651ed35bd9c7d8898fbeebd5b8ee4215fa4bde
parentd95c14835ccd05cb946b1f3ed91ac17739a4ce7f (diff)
downloadeclipse.jdt.core-R2_1_maintenance.tar.gz
eclipse.jdt.core-R2_1_maintenance.tar.xz
eclipse.jdt.core-R2_1_maintenance.zip
-rw-r--r--org.eclipse.jdt.core/search/org/eclipse/jdt/internal/core/search/indexing/IndexManager.java2
1 files changed, 1 insertions, 1 deletions
diff --git a/org.eclipse.jdt.core/search/org/eclipse/jdt/internal/core/search/indexing/IndexManager.java b/org.eclipse.jdt.core/search/org/eclipse/jdt/internal/core/search/indexing/IndexManager.java
index 2c89de3ad2..05dcd32409 100644
--- a/org.eclipse.jdt.core/search/org/eclipse/jdt/internal/core/search/indexing/IndexManager.java
+++ b/org.eclipse.jdt.core/search/org/eclipse/jdt/internal/core/search/indexing/IndexManager.java
@@ -559,7 +559,7 @@ private char[] readIndexState() {
return new char[0];
}
}
-private void updateIndexState(String indexName, Integer indexState) {
+private synchronized void updateIndexState(String indexName, Integer indexState) {
getIndexStates(); // ensure the states are initialized
if (indexState != null) {
if (indexState.equals(indexStates.get(indexName))) return; // not changed

Back to the top