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

gbellato
19.09.2009 4f29cced67db3b2ae6957b22e667e77738ae91e8
opendj-sdk/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;
    }
  }
}