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

gbellato
19.09.2009 60d369bef9c0f25c68bedd847efb3d8e937362a5
opends/src/server/org/opends/server/replication/common/ChangeNumberGenerator.java
@@ -22,7 +22,7 @@
 * CDDL HEADER END
 *
 *
 *      Copyright 2006-2008 Sun Microsystems, Inc.
 *      Copyright 2006-2009 Sun Microsystems, Inc.
 */
package org.opends.server.replication.common;
@@ -127,7 +127,7 @@
      if (lastTime > rcvdTime)
        return;
      else
        lastTime = rcvdTime++;
        lastTime = ++rcvdTime;
    }
  }
}