mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 47e354 | patch | commitdiff
jvergara
17.01.2007 cd35330cd4f8ec3e9648dc18820ab0500bbeba92
refs
author jvergara <jvergara@localhost>
Monday, December 17, 2007 21:01 +0100
committer jvergara <jvergara@localhost>
Monday, December 17, 2007 21:01 +0100
commitcd35330cd4f8ec3e9648dc18820ab0500bbeba92
tree 3c1b039fd7464eee7e85df67cf34076d81c61cd9 tree | zip | gz
parent 47e354041816b59637122e559d905950cad1c132 view | diff 
Fix a bug in the dsjavaproperties when calculating the default values for the files.  The bug prevented the Java WebStart installer to create set-java-home.
1 files modified
45 ■■■■■ changed files
opendj-sdk/opends/src/server/org/opends/server/tools/JavaPropertiesToolArgumentParser.java 45 ●●●●● diff | view | raw | blame | history