mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 638ec8 | patch | commitdiff
jvergara
25.10.2008 6db67e700aa5202bad7ecf9c3f0c3d714a9c6b12
refs
author jvergara <jvergara@localhost>
Friday, January 25, 2008 14:10 +0100
committer jvergara <jvergara@localhost>
Friday, January 25, 2008 14:10 +0100
commit6db67e700aa5202bad7ecf9c3f0c3d714a9c6b12
tree f60d9174edda3ec15ff71abcc2016b6ca83031df tree | zip | gz
parent 638ec8fd88e404d8137d6f0ff4658d14c839ffa1 view | diff 
Fix for 2872 (Simplify and improve usage of dsjavaproperties)

The modifications basically hide two arguments and change the usage.
2 files modified
27 ■■■■■ changed files
opends/src/messages/messages/tools.properties 18 ●●●●● diff | view | raw | blame | history
opends/src/server/org/opends/server/tools/JavaPropertiesToolArgumentParser.java 9 ●●●●● diff | view | raw | blame | history