Skip to main content
aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorStefan Xenos2017-05-16 19:29:48 +0000
committerStefan Xenos2017-05-16 19:29:48 +0000
commit34337e2078da6ee9eff6d9ed3144e9836eec04f2 (patch)
tree699fc5955610485739cc158444e99a73c46c9121
parent76bed57151387767b0043f9581cbafbad2365693 (diff)
downloadeclipse.jdt.core-34337e2078da6ee9eff6d9ed3144e9836eec04f2.tar.gz
eclipse.jdt.core-34337e2078da6ee9eff6d9ed3144e9836eec04f2.tar.xz
eclipse.jdt.core-34337e2078da6ee9eff6d9ed3144e9836eec04f2.zip
-rw-r--r--org.eclipse.jdt.core/search/org/eclipse/jdt/internal/core/nd/db/Database.java1
-rw-r--r--org.eclipse.jdt.core/search/org/eclipse/jdt/internal/core/nd/indexer/Indexer.java1
2 files changed, 2 insertions, 0 deletions
diff --git a/org.eclipse.jdt.core/search/org/eclipse/jdt/internal/core/nd/db/Database.java b/org.eclipse.jdt.core/search/org/eclipse/jdt/internal/core/nd/db/Database.java
index 818172f289..cbccd07ac6 100644
--- a/org.eclipse.jdt.core/search/org/eclipse/jdt/internal/core/nd/db/Database.java
+++ b/org.eclipse.jdt.core/search/org/eclipse/jdt/internal/core/nd/db/Database.java
@@ -403,6 +403,7 @@ public class Database {
wasCanceled = flush() || wasCanceled;
}
this.memoryUsage.refresh();
+ this.fHeaderChunk.makeDirty();
return wasCanceled;
}
diff --git a/org.eclipse.jdt.core/search/org/eclipse/jdt/internal/core/nd/indexer/Indexer.java b/org.eclipse.jdt.core/search/org/eclipse/jdt/internal/core/nd/indexer/Indexer.java
index 5922a94ffe..df12fb7941 100644
--- a/org.eclipse.jdt.core/search/org/eclipse/jdt/internal/core/nd/indexer/Indexer.java
+++ b/org.eclipse.jdt.core/search/org/eclipse/jdt/internal/core/nd/indexer/Indexer.java
@@ -1057,6 +1057,7 @@ public final class Indexer {
this.nd.acquireWriteLock(subMonitor.split(1));
try {
this.nd.clear(subMonitor.split(2));
+ this.nd.getDB().flush();
} finally {
this.nd.releaseWriteLock();
}

Back to the top