0
0
mirror of https://github.com/mongodb/mongo.git synced 2024-12-01 09:32:32 +01:00

maybe this will make repl10.js run consistently

This commit is contained in:
dwight 2010-08-30 00:16:39 -04:00
parent 49333a5f56
commit b604f18d96

View File

@ -1260,8 +1260,14 @@ namespace mongo {
if ( tailing || initial ) {
if ( initial )
log(1) << "repl: initial run\n";
else
assert( syncedTo < nextOpTime );
else {
if( !( syncedTo <= nextOpTime ) ) {
log() << "repl ASSERTION failed : syncedTo <= nextOpTime" << endl;
log() << "repl syncTo: " << syncedTo.toStringLong() << endl;
log() << "repl nextOpTime: " << nextOpTime.toStringLong() << endl;
assert(false);
}
}
oplogReader.putBack( op ); // op will be processed in the loop below
nextOpTime = OpTime(); // will reread the op below
}