| commit | bb3d1557488dacc37079f17c17c9a0bc45c85e3c | [log] [tgz] |
|---|---|---|
| author | eyuen <eyuen@ca.ibm.com> | Mon Jun 23 11:26:46 2014 -0400 |
| committer | eyuen <eyuen@ca.ibm.com> | Mon Jun 23 11:26:46 2014 -0400 |
| tree | 914e0f10c9aee55b8a76f392a3889f377b4c9882 | |
| parent | f137f2fad2eaf3d99a60e17c51073498d082a191 [diff] |
[437351] [hotbug] [Critical] getServerNotificationManager should be synchronized
diff --git a/plugins/org.eclipse.wst.server.core/servercore/org/eclipse/wst/server/core/internal/Server.java b/plugins/org.eclipse.wst.server.core/servercore/org/eclipse/wst/server/core/internal/Server.java index 2f87a71..1a6673b 100644 --- a/plugins/org.eclipse.wst.server.core/servercore/org/eclipse/wst/server/core/internal/Server.java +++ b/plugins/org.eclipse.wst.server.core/servercore/org/eclipse/wst/server/core/internal/Server.java
@@ -1027,7 +1027,7 @@ * * @return the notification manager */ - private ServerNotificationManager getServerNotificationManager() { + private synchronized ServerNotificationManager getServerNotificationManager() { if (notificationManager == null) notificationManager = new ServerNotificationManager();