bb3d1557488dacc37079f17c17c9a0bc45c85e3c - servertools/webtools.servertools - Git at Google

commit: bb3d1557488dacc37079f17c17c9a0bc45c85e3c
[log]
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

plugins/org.eclipse.wst.server.core/servercore/org/eclipse/wst/server/core/internal/Server.java[diff]

1 file changed

tree: 914e0f10c9aee55b8a76f392a3889f377b4c9882