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

Ludovic Poitou
16.29.2011 23cf07c2c64ba72f59b3257b9b91f4c8814b05ce
opends/src/server/org/opends/server/replication/common/ChangeNumberGenerator.java
@@ -23,6 +23,7 @@
 *
 *
 *      Copyright 2006-2009 Sun Microsystems, Inc.
 *      Portions Copyright 2011 ForgeRock AS
 */
package org.opends.server.replication.common;
@@ -118,8 +119,11 @@
  {
    if (number==null)
    {
      lastTime = TimeThread.getTime();
      seqnum = 0;
      synchronized(this)
      {
        lastTime = TimeThread.getTime();
        seqnum = 0;
      }
      return;
    }