[jboss-cvs] jbosside/as/plugins/org.jboss.ide.eclipse.as.ui/jbossui/org/jboss/ide/eclipse/as/ui/views ...

[Robert Stryker]

  User: rawb    
  Date: 06/09/19 15:45:00

  Modified:    as/plugins/org.jboss.ide.eclipse.as.ui/jbossui/org/jboss/ide/eclipse/as/ui/views 
                        JBossServerTableViewer.java
  Log:
  cosmetic change
  
  Revision  Changes    Path
  1.15      +22 -0     jbosside/as/plugins/org.jboss.ide.eclipse.as.ui/jbossui/org/jboss/ide/eclipse/as/ui/views/JBossServerTableViewer.java
  
  (In the diff below, changes in quantity of whitespace are not shown.)
  
  Index: JBossServerTableViewer.java
  ===================================================================
  RCS file: /cvsroot/jboss/jbosside/as/plugins/org.jboss.ide.eclipse.as.ui/jbossui/org/jboss/ide/eclipse/as/ui/views/JBossServerTableViewer.java,v
  retrieving revision 1.14
  retrieving revision 1.15
  diff -u -b -r1.14 -r1.15
  --- JBossServerTableViewer.java	6 Sep 2006 19:35:15 -0000	1.14
  +++ JBossServerTableViewer.java	19 Sep 2006 19:45:00 -0000	1.15
  @@ -60,8 +60,10 @@
   import org.eclipse.wst.server.core.IRuntimeType;
   import org.eclipse.wst.server.core.IRuntimeWorkingCopy;
   import org.eclipse.wst.server.core.IServer;
  +import org.eclipse.wst.server.core.IServerLifecycleListener;
   import org.eclipse.wst.server.core.IServerType;
   import org.eclipse.wst.server.core.IServerWorkingCopy;
  +import org.eclipse.wst.server.core.ServerCore;
   import org.eclipse.wst.server.core.internal.ServerType;
   import org.eclipse.wst.server.ui.ServerUICore;
   import org.jboss.ide.eclipse.as.core.JBossServerCore;
  @@ -92,6 +94,26 @@
   		setLabelProvider(new LabelProviderDelegator());
   		propertySheet = new TableViewerPropertySheet();
   		createActions();
  +		ServerCore.addServerLifecycleListener(new IServerLifecycleListener() {
  +
  +			public void serverAdded(IServer server) {
  +			}
  +
  +			public void serverChanged(IServer server) {
  +			}
  +
  +			public void serverRemoved(IServer server) {
  +				final IServer server2 = server;
  +				Display.getDefault().asyncExec(new Runnable() {
  +					public void run() {
  +						Object o = getInput();
  +						if( server2.equals(o)) {
  +							setInput(null);
  +						}
  +					}
  +				});
  +			} 
  +		});
   	}
   
   	protected void createActions() {