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

mrossign
30.43.2009 edccd030b94ecc79a7b8ae17ec172cccafce56fb
opends/src/server/org/opends/server/workflowelement/localbackend/LocalBackendModifyOperation.java
@@ -658,8 +658,8 @@
      }
      finally
      {
        processPostOperation();
        LockManager.unlock(entryDN, entryLock);
        processSynchPostOperationPlugins();
      }
    }
@@ -2328,7 +2328,7 @@
      return returnVal;
  }
  private void processPostOperation() {
  private void processSynchPostOperationPlugins() {
      for (SynchronizationProvider<?> provider :
          DirectoryServer.getSynchronizationProviders()) {
          try {