commit | f99e7c0a0687132c2bb9aac76b053b6af7d66acf | [log] [tgz] |
---|---|---|
author | eyuen <eyuen> | Wed Feb 08 19:19:32 2012 +0000 |
committer | eyuen <eyuen> | Wed Feb 08 19:19:32 2012 +0000 |
tree | 1128c69c89de52e1a013342dfe191d23e1222e04 | |
parent | 84d045320d4f304442fcb3bc1a754b4374eab5d0 [diff] |
[370766] Auto publish will not triggered for structure changes
diff --git a/plugins/org.eclipse.wst.server.core/servercore/org/eclipse/wst/server/core/internal/Server.java b/plugins/org.eclipse.wst.server.core/servercore/org/eclipse/wst/server/core/internal/Server.java index 35071c6..d5046bb 100644 --- a/plugins/org.eclipse.wst.server.core/servercore/org/eclipse/wst/server/core/internal/Server.java +++ b/plugins/org.eclipse.wst.server.core/servercore/org/eclipse/wst/server/core/internal/Server.java
@@ -230,6 +230,7 @@ if (getServerPublishInfo().hasStructureChanged(modules2)) { int newState = getServerPublishState() == IServer.PUBLISH_STATE_FULL ? IServer.PUBLISH_STATE_FULL : IServer.PUBLISH_STATE_INCREMENTAL; setServerPublishState(newState); + changed[0] = true; } if (!changed[0])