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

[Robert Stryker]

  User: rawb    
  Date: 06/08/15 13:41:44

  Modified:    as/plugins/org.jboss.ide.eclipse.as.ui/jbossui/org/jboss/ide/eclipse/as/ui/actions 
                        ServerPulldownDelegate.java
  Log:
  Fix in case user deletes default server. 
  
  Revision  Changes    Path
  1.3       +3 -1      jbosside/as/plugins/org.jboss.ide.eclipse.as.ui/jbossui/org/jboss/ide/eclipse/as/ui/actions/ServerPulldownDelegate.java
  
  (In the diff below, changes in quantity of whitespace are not shown.)
  
  Index: ServerPulldownDelegate.java
  ===================================================================
  RCS file: /cvsroot/jboss/jbosside/as/plugins/org.jboss.ide.eclipse.as.ui/jbossui/org/jboss/ide/eclipse/as/ui/actions/ServerPulldownDelegate.java,v
  retrieving revision 1.2
  retrieving revision 1.3
  diff -u -b -r1.2 -r1.3
  --- ServerPulldownDelegate.java	15 Aug 2006 17:35:08 -0000	1.2
  +++ ServerPulldownDelegate.java	15 Aug 2006 17:41:44 -0000	1.3
  @@ -117,7 +117,9 @@
   		stopServer.setImage(getStateImage(IServer.STATE_STOPPED, ILaunchManager.RUN_MODE));
   		fillMenuCurrentPos++;
   		
  -		if( DEFAULT_JBOSS_SERVER_UNSET.equals(getCurrentDefaultServer())) {
  +		// if default server is unset OR if it doesnt exist anymore (deleted)
  +		if( DEFAULT_JBOSS_SERVER_UNSET.equals(getCurrentDefaultServer()) || 
  +				ServerCore.findServer(getCurrentDefaultServer()) == null) {
   			startInRunMode.setEnabled(false);
   			startInDebugMode.setEnabled(false);
   			stopServer.setEnabled(false);