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

Nicolas Capponi
12.55.2014 39be274a446bc48400fb0f4ff8ec74b54883f7a6
opendj3-server-dev/src/server/org/opends/server/tools/JavaPropertiesTool.java
@@ -35,6 +35,7 @@
import org.opends.messages.ToolMessages;
import org.opends.quicksetup.Constants;
import org.opends.quicksetup.util.Utils;
import org.opends.server.loggers.JDKLogging;
import org.opends.server.types.NullOutputStream;
import org.opends.server.util.cli.ConsoleApplication;
@@ -175,6 +176,8 @@
    PrintStream err = NullOutputStream.wrapOrNullStream(errStream);
    JDKLogging.disableLogging();
    JavaPropertiesTool tool = new JavaPropertiesTool(out, err, inStream);
    return tool.execute(args);