82207968d76d9070e968fa8d85d2461c60c5fc05 - gerrit/servertools/webtools.servertools - Git at Google

commit: 82207968d76d9070e968fa8d85d2461c60c5fc05
[log]
author: eyuen <eyuen@ca.ibm.com>
Tue Sep 30 11:15:56 2014 -0400
committer: eyuen <eyuen@ca.ibm.com>
Tue Sep 30 11:15:56 2014 -0400
tree: a2fc5dd45aa20c7cf0f30a3848e0d18d95dc9ef5
parent: ad2cd05de6b6e2bf3374b3771feeecbc8633a238 [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: a2fc5dd45aa20c7cf0f30a3848e0d18d95dc9ef5