Author: rob.stryker(a)jboss.com Date: 2012-05-04 10:10:26 -0400 (Fri, 04 May 2012) New Revision: 40792 Modified: trunk/as/plugins/org.jboss.ide.eclipse.as.jmx.integration/src/org/jboss/ide/eclipse/as/jmx/integration/JMXProvider.java Log: JBIDE-11740 Modified: trunk/as/plugins/org.jboss.ide.eclipse.as.jmx.integration/src/org/jboss/ide/eclipse/as/jmx/integration/JMXProvider.java =================================================================== --- trunk/as/plugins/org.jboss.ide.eclipse.as.jmx.integration/src/org/jboss/ide/eclipse/as/jmx/integration/JMXProvider.java 2012-05-04 13:02:15 UTC (rev 40791) +++ trunk/as/plugins/org.jboss.ide.eclipse.as.jmx.integration/src/org/jboss/ide/eclipse/as/jmx/integration/JMXProvider.java 2012-05-04 14:10:26 UTC (rev 40792) @@ -38,6 +38,7 @@ import org.eclipse.wst.server.core.IServer; import org.eclipse.wst.server.ui.internal.view.servers.AbstractServerAction; import org.jboss.ide.eclipse.as.core.server.internal.JBossServer; +import org.jboss.ide.eclipse.as.core.server.internal.extendedproperties.ServerExtendedProperties; import org.jboss.ide.eclipse.as.core.util.ServerUtil; import org.jboss.ide.eclipse.as.ui.JBossServerUISharedImages; import org.jboss.ide.eclipse.as.ui.UIUtil; @@ -86,9 +87,14 @@ if( quick != null && selection != null && selection.toArray().length == 1 ) { if( selection.getFirstElement() instanceof IServer ) { IServer server = (IServer)selection.getFirstElement(); - if( ServerUtil.isJBossServerType(server.getServerType()) && !ServerUtil.isJBoss7(server)) { - if( menu instanceof MenuManager ) { - ((MenuManager)quick).add(showInJMXViewAction); + + ServerExtendedProperties properties = (ServerExtendedProperties) server.loadAdapter(ServerExtendedProperties.class, null); + if( properties != null ) { + int i = properties.getJMXProviderType(); + if( i != ServerExtendedProperties.JMX_NULL_PROVIDER ) { + if( menu instanceof MenuManager ) { + ((MenuManager)quick).add(showInJMXViewAction); + } } } }