Author: adietish Date: 2011-07-12 08:21:17 -0400 (Tue, 12 Jul 2011) New Revision: 32840 Modified: trunk/as/plugins/org.jboss.ide.eclipse.as.core/jbosscore/org/jboss/ide/eclipse/as/core/util/LaunchConfigUtils.java Log: [JBIDE-9215] added #checkedGetServer Modified: trunk/as/plugins/org.jboss.ide.eclipse.as.core/jbosscore/org/jboss/ide/eclipse/as/core/util/LaunchConfigUtils.java =================================================================== --- trunk/as/plugins/org.jboss.ide.eclipse.as.core/jbosscore/org/jboss/ide/eclipse/as/core/util/LaunchConfigUtils.java 2011-07-12 12:20:43 UTC (rev 32839) +++ trunk/as/plugins/org.jboss.ide.eclipse.as.core/jbosscore/org/jboss/ide/eclipse/as/core/util/LaunchConfigUtils.java 2011-07-12 12:21:17 UTC (rev 32840) @@ -157,4 +157,10 @@ String launchName = launchManager.generateLaunchConfigurationName(name); return launchConfigType.newInstance(null, launchName); } + + public static IServer checkedGetServer(ILaunchConfiguration launchConfig) throws CoreException { + String serverId = JBossLaunchConfigProperties.getServerId(launchConfig); + JBossServer server = ServerConverter.checkedFindJBossServer(serverId); + return server.getServer(); + } }