| commit | 28a00a5879b18678ba41dc7f3982e67f40f9d8c4 | [log] [tgz] |
|---|---|---|
| author | avera <avera> | Wed Dec 01 16:56:05 2010 +0000 |
| committer | avera <avera> | Wed Dec 01 16:56:05 2010 +0000 |
| tree | e86a4fb1fa10be038ca9837c2930744473328c92 | |
| parent | a7719ea863aaa4d8897aa35d5c345e4ef237f9d7 [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 2d4a6e0..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.getOriginal())) + if (oldServer.equals(server.getOriginal()) && !isDirty()) closeEditor(); } }