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

gbellato
24.16.2007 6a128e1541d50348fece5582ec51885e7461f24c
opends/src/server/org/opends/server/synchronization/plugin/SynchronizationDomain.java
@@ -1253,11 +1253,12 @@
  private ChangeNumber generateChangeNumber(Operation operation)
  {
    ChangeNumber changeNumber;
    changeNumber = changeNumberGenerator.NewChangeNumber();
    PendingChange change = new PendingChange(changeNumber, operation, null);
    synchronized(pendingChanges)
    {
      changeNumber = changeNumberGenerator.NewChangeNumber();
      pendingChanges.put(changeNumber,
          new PendingChange(changeNumber, operation, null));
      pendingChanges.put(changeNumber, change);
    }
    return changeNumber;
  }