| commit | 60d2ae17d06943c37a6d68b77be4386768ed859d | [log] [tgz] |
|---|---|---|
| author | cbridgha <cbridgha> | Thu Apr 03 02:01:33 2008 +0000 |
| committer | cbridgha <cbridgha> | Thu Apr 03 02:01:33 2008 +0000 |
| tree | bc9a747e3da10df9ecc6bf0c186153f5d6c83e8c | |
| parent | edd36b2731513d8501ab8be2243abf96853c5577 [diff] |
[222321] synch fix
diff --git a/plugins/org.eclipse.wst.common.emfworkbench.integration/src/org/eclipse/wst/common/internal/emfworkbench/integration/ResourceSetWorkbenchEditSynchronizer.java b/plugins/org.eclipse.wst.common.emfworkbench.integration/src/org/eclipse/wst/common/internal/emfworkbench/integration/ResourceSetWorkbenchEditSynchronizer.java index 3106dc5..d728798 100644 --- a/plugins/org.eclipse.wst.common.emfworkbench.integration/src/org/eclipse/wst/common/internal/emfworkbench/integration/ResourceSetWorkbenchEditSynchronizer.java +++ b/plugins/org.eclipse.wst.common.emfworkbench.integration/src/org/eclipse/wst/common/internal/emfworkbench/integration/ResourceSetWorkbenchEditSynchronizer.java
@@ -487,7 +487,7 @@ SavedFileKey key = (SavedFileKey) iterator.next(); if (key.savedFile != null && key.savedFile.equals(file)) { List resources = getResources(file); - if (resources.contains(key.res)) { + if (key.res == null || resources.contains(key.res) ) { iterator.remove(); removedFromList = true; break;