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

Jean-Noel Rouvignac
16.54.2014 b3e3932696d420b6944732be185f250d0fb1e181
opends/src/server/org/opends/server/core/DirectoryServer.java
@@ -1373,7 +1373,7 @@
      rootDNConfigManager = new RootDNConfigManager();
      rootDNConfigManager.initializeRootDNs();
      directoryServer.authenticatedUsers = new AuthenticatedUsers();
      initializeAuthenticatedUsers();
      // initialize both subentry manager and group manager for this backend.
      initializeSubentryManager();
      initializeGroupManager();
@@ -1529,6 +1529,11 @@
    }
  }
  /** Initializes authenticated users. */
  public void initializeAuthenticatedUsers()
  {
    directoryServer.authenticatedUsers = new AuthenticatedUsers();
  }
  /**