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

neil_a_wilson
16.31.2007 07d2e7628aa75f73183fddd9fa613adf54cb9fcc
opends/src/server/org/opends/server/core/DirectoryServer.java
@@ -8343,6 +8343,10 @@
    }
    // Deregister all network group configuration.
    NetworkGroup.deregisterAll();
    // Log a final message indicating that the server is stopped (which should
    // be true for all practical purposes), and then shut down all the error
    // loggers.