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

pgamba
13.01.2008 1b8ce118499248cac94195f9702fe255298cb1d1
opends/src/server/org/opends/server/replication/common/ChangeNumberGenerator.java
@@ -100,7 +100,7 @@
  }
  /**
   * Adjust the lastTime and seqnum of this Changenumber generator with
   * Adjust the lastTime of this Changenumber generator with
   * a ChangeNumber that we have received from another server.
   * This is necessary because we need that the changenumber generated
   * after processing an update received from other hosts to be larger
@@ -110,10 +110,17 @@
   */
  public void adjust(ChangeNumber number)
  {
    if (number==null)
    {
      lastTime = TimeThread.getTime();
      seqnum = 0;
      return;
    }
    long rcvdTime = number.getTime();
    /* need to synchronize with NewChangeNumber method so that we
     * protect writing of seqnum and lastTime fields
     * protect writing lastTime fields
     */
    synchronized(this)
    {