mirrors/cdt
1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-07-25 09:55:29 +02:00
Code Issues Wiki Activity

Cleanup of flushing database, bug 220392

Browse source
This commit is contained in:
Markus Schorn 2009-06-22 14:13:00 +00:00
parent 14a4c2a8d3
commit 896b8661e0
1 changed files with 4 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

10
core/org.eclipse.cdt.core/parser/org/eclipse/cdt/internal/core/pdom/db/Database.java
View file

@ -604,13 +604,11 @@ public class Database {
private void flushAndUnlockChunks(final ArrayList<Chunk> dirtyChunks, boolean isComplete) throws CoreException {
assert !Thread.holdsLock(fCache);
synchronized(fHeaderChunk) {
if (!fHeaderChunk.fDirty) {
if (!(isComplete && fIsMarkedIncomplete)) {
return;
}
}
if (!dirtyChunks.isEmpty()) {
final boolean haveDirtyChunks = !dirtyChunks.isEmpty();
if (haveDirtyChunks || fHeaderChunk.fDirty) {
markFileIncomplete();
}
if (haveDirtyChunks) {
for (Chunk chunk : dirtyChunks) {
if (chunk.fDirty) {
chunk.flush();