[jboss-cvs] jbosside/as/plugins/org.jboss.ide.eclipse.as.ui/jbossui/org/jboss/ide/eclipse/as/ui/views/server/providers ...

[Robert Stryker]

  User: rawb    
  Date: 06/11/28 12:34:30

  Modified:    as/plugins/org.jboss.ide.eclipse.as.ui/jbossui/org/jboss/ide/eclipse/as/ui/views/server/providers 
                        ModuleViewProvider.java
  Log:
  Run On Server yields a full republish
  
  Revision  Changes    Path
  1.2       +2 -2      jbosside/as/plugins/org.jboss.ide.eclipse.as.ui/jbossui/org/jboss/ide/eclipse/as/ui/views/server/providers/ModuleViewProvider.java
  
  (In the diff below, changes in quantity of whitespace are not shown.)
  
  Index: ModuleViewProvider.java
  ===================================================================
  RCS file: /cvsroot/jboss/jbosside/as/plugins/org.jboss.ide.eclipse.as.ui/jbossui/org/jboss/ide/eclipse/as/ui/views/server/providers/ModuleViewProvider.java,v
  retrieving revision 1.1
  retrieving revision 1.2
  diff -u -b -r1.1 -r1.2
  --- ModuleViewProvider.java	10 Nov 2006 00:30:21 -0000	1.1
  +++ ModuleViewProvider.java	28 Nov 2006 17:34:30 -0000	1.2
  @@ -24,7 +24,6 @@
   
   import java.util.Properties;
   
  -import org.eclipse.core.resources.IResourceDelta;
   import org.eclipse.jface.action.Action;
   import org.eclipse.jface.action.IMenuManager;
   import org.eclipse.jface.dialogs.MessageDialog;
  @@ -41,6 +40,7 @@
   import org.eclipse.wst.server.core.ServerCore;
   import org.eclipse.wst.server.core.ServerEvent;
   import org.eclipse.wst.server.core.internal.PublishServerJob;
  +import org.eclipse.wst.server.core.internal.Server;
   import org.eclipse.wst.server.ui.ServerUICore;
   import org.eclipse.wst.server.ui.internal.view.servers.ModuleServer;
   import org.jboss.ide.eclipse.as.core.JBossServerCore;
  @@ -95,7 +95,7 @@
   			public void run() {
   				for( int i = 0; i < selection.module.length; i++ ) 
   					ModuleModel.getDefault().markModuleChanged(selection.module[i]);
  -				PublishServerJob job = new PublishServerJob(selection.server);
  +				PublishServerJob job = new PublishServerJob(selection.server, IServer.PUBLISH_FULL, false);
   				job.schedule();
   			}
   		};