commit | 2d3ce8b4617c424710e166777de0e72b9cdd339b | [log] [tgz] |
---|---|---|
author | avera <avera> | Wed Dec 01 16:54:51 2010 +0000 |
committer | avera <avera> | Wed Dec 01 16:54:51 2010 +0000 |
tree | 34dba87fd6532847dce365b66c3ae38f73b03132 | |
parent | 89fd988d56b364779b54ad4fbb195c1faa36ee69 [diff] |
[240167] should deleting a server in servers view close an open server editor
diff --git a/plugins/org.eclipse.wst.server.ui/serverui/org/eclipse/wst/server/ui/internal/editor/ServerEditor.java b/plugins/org.eclipse.wst.server.ui/serverui/org/eclipse/wst/server/ui/internal/editor/ServerEditor.java index 7038047..dcae3e6 100644 --- a/plugins/org.eclipse.wst.server.ui/serverui/org/eclipse/wst/server/ui/internal/editor/ServerEditor.java +++ b/plugins/org.eclipse.wst.server.ui/serverui/org/eclipse/wst/server/ui/internal/editor/ServerEditor.java
@@ -95,7 +95,7 @@ // do nothing } public void serverRemoved(IServer oldServer) { - if (oldServer.equals(server) && !isDirty()) + if (oldServer.equals(server.getOriginal()) && !isDirty()) closeEditor(); } }