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

neil_a_wilson
11.02.2006 90e372637db76c6c9dd14a1206d28c1cb0298590
opends/src/server/org/opends/server/core/DirectoryServer.java
@@ -6703,7 +6703,7 @@
    // the server.
    if (directoryServer.pluginConfigManager != null)
    {
      directoryServer.pluginConfigManager.invokeShutdownPlugins();
      directoryServer.pluginConfigManager.invokeShutdownPlugins(reason);
      directoryServer.pluginConfigManager.finalizePlugins();
    }