mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
opends/src/server/org/opends/server/core/DirectoryServer.java @@ -7640,6 +7640,8 @@ SynchronizationProvider<SynchronizationProviderCfg> provider) { directoryServer.synchronizationProviders.add(provider); provider.completeSynchronizationProvider(); }