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

kenneth_suter
19.28.2007 efde227b9d0180122362133a750c6b322601c883
opends/src/server/org/opends/server/core/DirectoryServer.java
@@ -84,6 +84,8 @@
import org.opends.server.util.SetupUtils;
import org.opends.server.util.TimeThread;
import org.opends.server.util.Validator;
import org.opends.server.util.VersionCompatibilityIssue;
import org.opends.server.util.StaticUtils;
import org.opends.server.util.args.ArgumentException;
import org.opends.server.util.args.ArgumentParser;
import org.opends.server.util.args.BooleanArgument;
@@ -8817,6 +8819,10 @@
      System.out.println("Build JVM Version:   " + BUILD_JVM_VERSION);
      System.out.println("Build JVM Vendor:    " + BUILD_JVM_VENDOR);
      System.out.println("Upgrade Event IDs:   " +
              StaticUtils.listToString(
                      VersionCompatibilityIssue.getAllEvents(), ","));
      return;
    }
    else if (systemInfo.isPresent())