| commit | d1333e08f4e008d59604159f3e83323b101f87d3 | [log] [tgz] |
|---|---|---|
| author | dj <dj_houghton@ca.ibm.com> | Mon Jul 25 13:37:53 2011 -0400 |
| committer | dj <dj_houghton@ca.ibm.com> | Mon Jul 25 13:37:53 2011 -0400 |
| tree | 181a2913c757c2759bf74662779d713f974e5bdb | |
| parent | b97a5ce2b7189be6d21ca2886573e06987414275 [diff] |
Bug 351231 - [prefs] EclipsePreferences#flush method should be synchronized
diff --git a/bundles/org.eclipse.equinox.preferences/src/org/eclipse/core/internal/preferences/EclipsePreferences.java b/bundles/org.eclipse.equinox.preferences/src/org/eclipse/core/internal/preferences/EclipsePreferences.java index 816bd10..c2699a7 100644 --- a/bundles/org.eclipse.equinox.preferences/src/org/eclipse/core/internal/preferences/EclipsePreferences.java +++ b/bundles/org.eclipse.equinox.preferences/src/org/eclipse/core/internal/preferences/EclipsePreferences.java
@@ -322,7 +322,7 @@ /* * @see org.osgi.service.prefs.Preferences#flush() */ - public void flush() throws BackingStoreException { + synchronized public void flush() throws BackingStoreException { // illegal state if this node has been removed checkRemoved();