Author: rob.stryker(a)jboss.com Date: 2007-09-14 14:41:21 -0400 (Fri, 14 Sep 2007) New Revision: 3635 Modified: trunk/as/plugins/org.jboss.ide.eclipse.as.ui/jbossui/org/jboss/ide/eclipse/as/ui/views/server/extensions/JBossServerViewExtension.java Log: slight change to refresh viewer Modified: trunk/as/plugins/org.jboss.ide.eclipse.as.ui/jbossui/org/jboss/ide/eclipse/as/ui/views/server/extensions/JBossServerViewExtension.java =================================================================== --- trunk/as/plugins/org.jboss.ide.eclipse.as.ui/jbossui/org/jboss/ide/eclipse/as/ui/views/server/extensions/JBossServerViewExtension.java 2007-09-14 17:39:18 UTC (rev 3634) +++ trunk/as/plugins/org.jboss.ide.eclipse.as.ui/jbossui/org/jboss/ide/eclipse/as/ui/views/server/extensions/JBossServerViewExtension.java 2007-09-14 18:41:21 UTC (rev 3635) @@ -83,7 +83,7 @@ public void run() { if( isEnabled() ) { try { - if( o == null ) { + if( o == null || o == provider ) { JBossServerView.getDefault().getExtensionFrame().getViewer().refresh(provider); } else { JBossServerView.getDefault().getExtensionFrame().getViewer().refresh(new ContentWrapper(o, provider));