[171559] Autorefresh 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 49b88ca..2c20a30 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
@@ -926,8 +926,13 @@
// check for server changes
if (serverId != null) {
if (!commandManager.isDirty(serverId)) {
- if (commandManager.hasChanged(serverId))
- promptReloadServerFile(serverId, server);
+ if (commandManager.hasChanged(serverId)) {
+ IServer newServer = ServerCore.findServer(serverId);
+ if (newServer != null && ((Server)newServer).getTimestamp() > ((Server)server).getTimestamp())
+ commandManager.reload(serverId, new NullProgressMonitor());
+ else
+ promptReloadServerFile(serverId, server);
+ }
} else {
if (commandManager.hasChanged(serverId) && !commandManager.areFilesReadOnly(serverId))
promptReloadServerFile(serverId, server);