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

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