mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 5709c7a4 | patch | commit | show whitespace
ludovicp
28.30.2010 b3a8d0b616d9a97102267760d5d26e20926c48b8 
Fix for issue #4502
2 files modified
3 ■■■■■ changed files
opends/src/server/org/opends/server/replication/server/ECLServerHandler.java 1 ●●●●● patch | view | raw | blame | history
opends/src/server/org/opends/server/replication/service/ReplicationBroker.java 2 ●●●●● patch | view | raw | blame | history 
 opends/src/server/org/opends/server/replication/server/ECLServerHandler.java


@@ -784,7 +784,6 @@


                  }


                }




              //if (newDomainCtxt.startState.cover(rsd.getStartState())==false)


                if (cookieTooOld)


                {


                  // the provided start




 opends/src/server/org/opends/server/replication/service/ReplicationBroker.java


@@ -2635,7 +2635,7 @@


                  rsServerUrl,


                  Integer.toString(bestServerInfo.getServerId()));


                logError(message);


                reStart(null, true);


                reStart(true);


              }




              // Reset wait time before next computation of best server