mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
blame | history | patch | commit | commitdiff | ignore whitespace
Jean-Noel Rouvignac
22.23.2014 25862fdf888ed23207ab51937a43e6f9ad41d805 
 opendj3-server-dev/src/server/org/opends/server/backends/MonitorBackend.java


@@ -64,7 +64,8 @@


{


  private static final LocalizedLogger logger = LocalizedLogger.getLoggerForThisClass();




  /** The set of user-defined attributes that will be included in the base


  /**


   * The set of user-defined attributes that will be included in the base


   * monitor entry.


   */


  private ArrayList<Attribute> userDefinedAttributes;


@@ -331,6 +332,7 @@


  @Override


  public void finalizeBackend()


  {


    super.finalizeBackend();


    currentConfig.removeMonitorChangeListener(this);


    try


    {