mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git

gbellato
10.05.2006 26ff1f0755680cbce7b5bdb136750b2b1bc9e4ed
opends/src/server/org/opends/server/synchronization/MultimasterSynchronization.java
@@ -446,7 +446,7 @@
    // shutdown the Changelog Service if necessary
    if (changelog != null)
      Changelog.shutdown();
      changelog.shutdown();
  }
  /**