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

jvergara
10.35.2007 f0e4fac29109e208e100d63a4c7482086b365daa
opendj-sdk/opends/src/server/org/opends/server/tools/InstallDS.java
@@ -564,7 +564,7 @@
      if (argParser.jmxPortArg.isPresent())
      {
        int jmxPort = argParser.jmxPortArg.getIntValue();
        uData.setServerPort(jmxPort);
        uData.setServerJMXPort(jmxPort);
        //   Check if the port can be used.
        if (!argParser.skipPortCheckArg.isPresent())
        {