mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: dffcd3 | patch | commitdiff
jvergara
03.58.2008 5eb6573e3292d012f0490a55f4957009372c476c
refs
author jvergara <jvergara@localhost>
Monday, March 3, 2008 18:58 +0100
committer jvergara <jvergara@localhost>
Monday, March 3, 2008 18:58 +0100
commit5eb6573e3292d012f0490a55f4957009372c476c
tree d18afc473267868cabe9b91a72757ebf1e5a4635 tree | zip | gz
parent dffcd320297e23f6d95dad4c7b08a2c0a9c1893a view | diff 
Fix for issue 2809 (Missing option -V in cli usage)

Update the definition of the version argument and use the short identifier if there is no other argument using it.
2 files modified
30 ■■■■■ changed files
opends/src/messages/messages/core.properties 2 ●●●●● diff | view | raw | blame | history
opends/src/server/org/opends/server/util/args/ArgumentParser.java 28 ●●●●● diff | view | raw | blame | history