mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: caa4de0d | patch | commit | ignore whitespace
Nicolas Capponi
05.44.2015 339dfa20bd7ec5ece007abaf698805bc29d5e66f 
Fix checkstyle error
1 files modified
2 ■■■■■ changed files
opendj-server-legacy/src/main/java/org/opends/server/replication/server/changelog/file/Log.java 2 ●●●●● patch | view | raw | blame | history 
 opendj-server-legacy/src/main/java/org/opends/server/replication/server/changelog/file/Log.java


@@ -434,7 +434,7 @@


      }


      LogFile<K, V> headLogFile = getHeadLogFile();


      if (mustRotate(headLogFile))


      { 


      {


        logger.debug(INFO_CHANGELOG_LOG_FILE_ROTATION.get(logPath.getPath(), headLogFile.getSizeInBytes()));




        rotateHeadLogFile();