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

Gaetan Boismal
11.09.2016 530d5906228862ee2d8a26e451cac47b287073f0
opendj-server-legacy/src/main/java/org/opends/server/tools/VerifyIndex.java
@@ -27,7 +27,6 @@
import java.io.PrintStream;
import java.util.ArrayList;
import java.util.List;
import java.util.logging.Level;
import org.forgerock.i18n.LocalizableMessage;
import org.forgerock.opendj.config.server.ConfigException;
@@ -92,7 +91,7 @@
                                    OutputStream errStream)
  {
    PrintStream err = NullOutputStream.wrapOrNullStream(errStream);
    JDKLogging.enableConsoleLoggingForOpenDJ(Level.FINE);
    JDKLogging.enableConsoleLoggingForOpenDJTool();
    // Define the command-line arguments that may be used with this program.
    StringArgument  configClass             = null;