Author: rob.stryker(a)jboss.com Date: 2009-04-13 01:06:24 -0400 (Mon, 13 Apr 2009) New Revision: 14700 Modified: trunk/as/plugins/org.jboss.ide.eclipse.as.core/jbosscore/org/jboss/ide/eclipse/as/core/server/internal/JBossServer.java Log: JBIDE-4085 - server publish time reduced to 1 Modified: trunk/as/plugins/org.jboss.ide.eclipse.as.core/jbosscore/org/jboss/ide/eclipse/as/core/server/internal/JBossServer.java =================================================================== --- trunk/as/plugins/org.jboss.ide.eclipse.as.core/jbosscore/org/jboss/ide/eclipse/as/core/server/internal/JBossServer.java 2009-04-13 04:51:12 UTC (rev 14699) +++ trunk/as/plugins/org.jboss.ide.eclipse.as.core/jbosscore/org/jboss/ide/eclipse/as/core/server/internal/JBossServer.java 2009-04-13 05:06:24 UTC (rev 14700) @@ -57,7 +57,12 @@ public JBossServer() { } - + + public void setDefaults(IProgressMonitor monitor) { + super.setDefaults(monitor); + setAttribute("auto-publish-time", 1); + } + public void saveConfiguration(IProgressMonitor monitor) throws CoreException { // here we update the launch configuration with any details that might have changed. try {