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

jvergara
10.35.2007 4aed8618421f036b176a6adcd81fa91b6c2161bf
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())
        {