mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 19d464 | patch | commitdiff
jvergara
17.01.2007 4a912c4650217455191a344e3f67a753991a689b
refs
author jvergara <jvergara@localhost>
Monday, December 17, 2007 21:01 +0100
committer jvergara <jvergara@localhost>
Monday, December 17, 2007 21:01 +0100
commit4a912c4650217455191a344e3f67a753991a689b
tree 6e40ec9c3cf26df758b2e4c1addc0c1ec5e197af tree | zip | gz
parent 19d46424ef066774783b79cb08aa1fe3b35a3b80 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
opends/src/server/org/opends/server/tools/JavaPropertiesToolArgumentParser.java 45 ●●●●● diff | view | raw | blame | history