commit | c9961ea18607e3a483a080b81a287af3b627eef6 | [log] [tgz] |
---|---|---|
author | avera <avera> | Wed Jul 08 17:55:24 2009 +0000 |
committer | avera <avera> | Wed Jul 08 17:55:24 2009 +0000 |
tree | 949445d603e7c4a177d0cef4c350f6dc56d05ab0 | |
parent | 8a86c34e4a0a3a64140c3dae3461c689d1eea644 [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 3b409c2..c38aae8 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
@@ -382,7 +382,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;