mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
blame | history | patch | commit | commitdiff | ignore whitespace
ludovicp
31.16.2010 85811b64468e9b7a876bd352a0299b904a53a3fb 
 opends/src/guitools/org/opends/guitools/controlpanel/ui/DBEnvironmentMonitoringPanel.java


@@ -22,7 +22,7 @@


 * CDDL HEADER END


 *


 *


 *      Copyright 2009 Sun Microsystems, Inc.


 *      Copyright 2009-2010 Sun Microsystems, Inc.


 */


package org.opends.guitools.controlpanel.ui;




@@ -236,7 +236,7 @@


    }


    operationViewPanel.setSelectedAttributes(attributes);


    operationViewDlg.setVisible(true);


    if (!operationViewPanel.isCancelled())


    if (!operationViewPanel.isCanceled())


    {


      attributes = operationViewPanel.getAttributes();


      setOperationsToDisplay(attributes);