diff options
| author | Szymon Ptaszkiewicz | 2013-08-23 15:22:02 +0000 |
|---|---|---|
| committer | Szymon Ptaszkiewicz | 2013-08-23 15:22:02 +0000 |
| commit | 74758a62c4f8da5c9fc98aff832dfa08de41813a (patch) | |
| tree | 8cd96e7403efee2420c609f9a02884d17117a9b8 | |
| parent | 45bcd03ef77dfaa0c574d3bebb651a8115ef9a24 (diff) | |
| download | eclipse.platform.resources-74758a62c4f8da5c9fc98aff832dfa08de41813a.tar.gz eclipse.platform.resources-74758a62c4f8da5c9fc98aff832dfa08de41813a.tar.xz eclipse.platform.resources-74758a62c4f8da5c9fc98aff832dfa08de41813a.zip | |
Bug 415014 - Lower sequence number for root during periodic workspace
save
| -rw-r--r-- | bundles/org.eclipse.core.resources/src/org/eclipse/core/internal/resources/SaveManager.java | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/bundles/org.eclipse.core.resources/src/org/eclipse/core/internal/resources/SaveManager.java b/bundles/org.eclipse.core.resources/src/org/eclipse/core/internal/resources/SaveManager.java index 751980bad..390cb0c45 100644 --- a/bundles/org.eclipse.core.resources/src/org/eclipse/core/internal/resources/SaveManager.java +++ b/bundles/org.eclipse.core.resources/src/org/eclipse/core/internal/resources/SaveManager.java @@ -128,6 +128,7 @@ public class SaveManager implements IElementInfoFlattener, IManager, IStringPool public SaveManager(Workspace workspace) { this.workspace = workspace; + this.masterTable = new MasterTable(); this.snapshotJob = new DelayedSnapshotJob(this); snapshotRequested = false; saveParticipants = Collections.synchronizedMap(new HashMap<String, ISaveParticipant>(10)); @@ -815,7 +816,7 @@ public class SaveManager implements IElementInfoFlattener, IManager, IStringPool protected void restoreMasterTable() throws CoreException { long start = System.currentTimeMillis(); - masterTable = new MasterTable(); + masterTable.clear(); IPath location = workspace.getMetaArea().getSafeTableLocationFor(ResourcesPlugin.PI_RESOURCES); java.io.File target = location.toFile(); if (!target.exists()) { |