mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 062e0b | patch | commitdiff
jvergara
12.56.2007 b7a77a5bfdf23f1863865cbf96d5af65694d2fe0
refs
author jvergara <jvergara@localhost>
Monday, March 12, 2007 15:56 +0100
committer jvergara <jvergara@localhost>
Monday, March 12, 2007 15:56 +0100
commitb7a77a5bfdf23f1863865cbf96d5af65694d2fe0
tree 9b414c0428161924f4c4456f25a42ecc4643766e tree | zip | gz
parent 062e0b6f4d460da437f214ddb31b007a037c299a 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
opends/src/quicksetup/org/opends/quicksetup/resources/Resources.properties 2 ●●●●● diff | view | raw | blame | history
opends/src/server/org/opends/server/tools/InstallDS.java 2 ●●●●● diff | view | raw | blame | history