mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
blame | history | patch | commit | commitdiff | ignore whitespace
Matthew Swift
08.09.2014 b875ab3f7b327f797ec4532015e45da6ae3fff56 
 opends/src/server/org/opends/server/replication/server/ReplicationServer.java


@@ -829,16 +829,6 @@


      }


    }




    // Update threshold value for status analyzers


    final int newThreshold = config.getDegradedStatusThreshold();


    if (oldConfig.getDegradedStatusThreshold() != newThreshold)


    {


      for (ReplicationServerDomain domain : getReplicationServerDomains())


      {


        domain.updateDegradedStatusThreshold(newThreshold);


      }


    }




    // Update period value for monitoring publishers


    if (oldConfig.getMonitoringPeriod() != config.getMonitoringPeriod())


    {


@@ -970,7 +960,6 @@




  /**


   * Creates the backend associated to this replication server.


   * @throws ConfigException


   */


  private void createBackend() throws ConfigException


  {