From: Robert S. <ra...@gm...> - 2006-07-10 15:42:12
|
User: rawb Date: 06/07/10 11:42:03 Modified: as/plugins/org.jboss.ide.eclipse.as.core/jbosscore/org/jboss/ide/eclipse/as/core JBossServerCorePlugin.java Added: as/plugins/org.jboss.ide.eclipse.as.core/jbosscore/org/jboss/ide/eclipse/as/core JBossServerCorePreferences.java Log: Added a preference helper class and reference to it in the core plugin. Revision Changes Path 1.3 +4 -0 jbosside/as/plugins/org.jboss.ide.eclipse.as.core/jbosscore/org/jboss/ide/eclipse/as/core/JBossServerCorePlugin.java (In the diff below, changes in quantity of whitespace are not shown.) Index: JBossServerCorePlugin.java =================================================================== RCS file: /cvsroot/jboss/jbosside/as/plugins/org.jboss.ide.eclipse.as.core/jbosscore/org/jboss/ide/eclipse/as/core/JBossServerCorePlugin.java,v retrieving revision 1.2 retrieving revision 1.3 diff -u -b -r1.2 -r1.3 --- JBossServerCorePlugin.java 2 Jun 2006 16:47:57 -0000 1.2 +++ JBossServerCorePlugin.java 10 Jul 2006 15:42:03 -0000 1.3 @@ -107,4 +107,8 @@ public ResourceBundle getResourceBundle() { return resourceBundle; } + + public JBossServerCorePreferences getPreferenceHelper() { + return JBossServerCorePreferences.getDefault(); + } } 1.1 date: 2006/07/10 15:42:03; author: rawb; state: Exp;jbosside/as/plugins/org.jboss.ide.eclipse.as.core/jbosscore/org/jboss/ide/eclipse/as/core/JBossServerCorePreferences.java Index: JBossServerCorePreferences.java =================================================================== package org.jboss.ide.eclipse.as.core; import org.eclipse.core.runtime.Preferences; import org.eclipse.wst.server.core.IModule; import org.jboss.ide.eclipse.as.core.server.JBossServer; public class JBossServerCorePreferences { private static JBossServerCorePreferences prefs; public static JBossServerCorePreferences getDefault() { if( prefs == null ) { prefs = new JBossServerCorePreferences(); } return prefs; } public JBossServerCorePreferences() { } public static final int NO_CLIENT_ACTION = 0; public static final int VERIFY_CLIENT_ACTION = 1; public int getModuleClientAction(IModule module[]) { return NO_CLIENT_ACTION; } /** * Get the preferences for that plugin from preferneces. * If not set, use the max. */ public static final int MAX_TIMEOUT = 180000; public static final String START_TIMEOUT = "_START_TIMEOUT_"; public static final String STOP_TIMEOUT = "_STOP_TIMEOUT_"; public int getStartTimeout(JBossServer server) { if( getPreferences().getInt(server.getServer().getId() + START_TIMEOUT) != 0 ) { return getPreferences().getInt(server.getServer().getId() + START_TIMEOUT); } return MAX_TIMEOUT; } public int getStopTimeout(JBossServer server) { if( getPreferences().getInt(server.getServer().getId() + STOP_TIMEOUT) != 0 ) { return getPreferences().getInt(server.getServer().getId() + STOP_TIMEOUT); } return MAX_TIMEOUT; } public Preferences getPreferences() { return JBossServerCorePlugin.getDefault().getPluginPreferences(); } } |