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

boli
15.09.2007 19f2a77418b5ad07011134f11fbc58a54c856a55
opends/src/server/org/opends/server/core/DirectoryServer.java
@@ -755,7 +755,7 @@
    initializeJMX();
    logError(ErrorLogCategory.CORE_SERVER, ErrorLogSeverity.STARTUP_DEBUG,
    logError(ErrorLogCategory.STARTUP, ErrorLogSeverity.INFORMATIONAL,
             MSGID_DIRECTORY_BOOTSTRAPPING, getVersionString());
    logError(ErrorLogCategory.CORE_SERVER, ErrorLogSeverity.INFORMATIONAL,
             MSGID_DIRECTORY_BOOTSTRAPPING, getVersionString());