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

pgamba
13.14.2008 b3c070bb2107aec085fa3f16ba1c118a71e30a7b
opends/src/server/org/opends/server/core/DirectoryServer.java
@@ -7640,6 +7640,8 @@
      SynchronizationProvider<SynchronizationProviderCfg> provider)
  {
    directoryServer.synchronizationProviders.add(provider);
    provider.completeSynchronizationProvider();
  }