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

gbellato
08.38.2007 6d3607b2f2a070bacc7bd331a4dc49f5335e7df8
opendj-sdk/opends/src/server/org/opends/server/synchronization/common/ChangeNumberGenerator.java
@@ -121,7 +121,7 @@
      if (lastTime > rcvdTime)
        return;
      else
        lastTime = lastTime++;
        lastTime = rcvdTime++;
    }
  }
}