mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 0a3a1f | patch | commitdiff
jvergara
12.56.2007 a57f00dc24461620f91d1b05603b2b1a819c1405
refs
author jvergara <jvergara@localhost>
Monday, March 12, 2007 15:56 +0100
committer jvergara <jvergara@localhost>
Monday, March 12, 2007 15:56 +0100
commita57f00dc24461620f91d1b05603b2b1a819c1405
tree 3ef949e7b192ba269214d8bfa8264f15d60c75c6 tree | zip | gz
parent 0a3a1f1060a2f94800dcc0fd70e53713d7fad6c8 view | diff 
Fix for issue 1351.

Using the CLI the user can specify the JMX port using the -j or --jmxPort option.

The usage has been updated to reflect this.
2 files modified
4 ■■■■■ changed files
opendj-sdk/opends/src/quicksetup/org/opends/quicksetup/resources/Resources.properties 2 ●●●●● diff | view | raw | blame | history
opendj-sdk/opends/src/server/org/opends/server/tools/InstallDS.java 2 ●●●●● diff | view | raw | blame | history