commit ec11a99304ebf74f0e7621cf025e44d9b1ebc080
author deboer <deboer> Sun Jul 10 19:18:24 2005 +0000
committer deboer <deboer> Sun Jul 10 19:18:24 2005 +0000
tree 437c1402088caa337793731f8e7b3c86cbc07311
parent 6400a65d88fbab5ee9f6e602c932898ce013cce4

[103275] Duplicate servers when using CVS

plugins/org.eclipse.wst.server.core/servercore/org/eclipse/wst/server/core/internal/ResourceManager.java

diff --git a/plugins/org.eclipse.wst.server.core/servercore/org/eclipse/wst/server/core/internal/ResourceManager.java b/plugins/org.eclipse.wst.server.core/servercore/org/eclipse/wst/server/core/internal/ResourceManager.java
index ae926a6..c49bf2f 100644
--- a/plugins/org.eclipse.wst.server.core/servercore/org/eclipse/wst/server/core/internal/ResourceManager.java
+++ b/plugins/org.eclipse.wst.server.core/servercore/org/eclipse/wst/server/core/internal/ResourceManager.java
@@ -827,7 +827,8 @@
 			try {
 				IServer server = loadServer(file, ProgressUtil.getSubMonitorFor(monitor, 1000));
 				if (server != null) {
-					registerServer(server);
+					if (getServer(server.getId()) == null)
+						registerServer(server);
 					monitor.done();
 					return true;
 				}