refs/heads/R3_0_maintenance - servertools/webtools.servertools - Git at Google

commit: c5f06b89b27d99053e4a1c0fc6418bda7fc4cb37
[log] [tgz]
author: avera <avera>
Wed Jul 08 18:13:14 2009 +0000
committer: avera <avera>
Wed Jul 08 18:13:14 2009 +0000
tree: 5b76be8d56948c165b5c54a6f6c92c4d6c15577c
parent: 404842516f7571445fc5d6a5a541b50e1740b21a [diff]

[278259] Can't create a new server if rename an existing one

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

1 file changed

tree: 5b76be8d56948c165b5c54a6f6c92c4d6c15577c