mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: baedb69f | patch | commit | ignore whitespace
Jean-Noel Rouvignac
29.32.2015 0d5df6a7cd511394471a07ceacb7ab893a414548 
Make checkstyle happy (sigh)
1 files modified
2 ■■■■■ changed files
opendj-sdk/opendj-server-legacy/src/main/java/org/opends/server/replication/server/ReplicationServer.java 2 ●●●●● patch | view | raw | blame | history 
 opendj-sdk/opendj-server-legacy/src/main/java/org/opends/server/replication/server/ReplicationServer.java


@@ -690,7 +690,7 @@


    if (providedState == null)


    {


      // missing domains do not invalidate a cookie.


      // results will include all the changes of the missing domains 


      // results will include all the changes of the missing domains


      return false;


    }


    final ServerState domainOldestState = getReplicationServerDomain(domainDN).getOldestState();