| 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
diff --git a/plugins/org.eclipse.wst.server.core/servercore/org/eclipse/wst/server/core/internal/ServerPlugin.java b/plugins/org.eclipse.wst.server.core/servercore/org/eclipse/wst/server/core/internal/ServerPlugin.java index 3b92f41..f814ecf 100644 --- a/plugins/org.eclipse.wst.server.core/servercore/org/eclipse/wst/server/core/internal/ServerPlugin.java +++ b/plugins/org.eclipse.wst.server.core/servercore/org/eclipse/wst/server/core/internal/ServerPlugin.java
@@ -386,7 +386,8 @@ Iterator iterator = list.iterator(); while (iterator.hasNext()) { Object obj = iterator.next(); - if (obj instanceof IServerAttributes && name.equalsIgnoreCase(((IServerAttributes)obj).getName())) + if (obj instanceof IServerAttributes && + (name.equalsIgnoreCase(((IServerAttributes)obj).getName()) || name.equalsIgnoreCase(((IServerAttributes)obj).getId()))) return true; if (obj instanceof IRuntime && name.equalsIgnoreCase(((IRuntime)obj).getName())) return true;