mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 52d2e9 | patch | commitdiff
jvergara
03.22.2008 890bedb0b00b717f882df2dd21c71940db00ced9
refs
author jvergara <jvergara@localhost>
Thursday, April 3, 2008 17:22 +0200
committer jvergara <jvergara@localhost>
Thursday, April 3, 2008 17:22 +0200
commit890bedb0b00b717f882df2dd21c71940db00ced9
tree 56688529dad31b00087b2afe9fc2b0784d041ab8 tree | zip | gz
parent 52d2e925b541215beff66934eedc655f25f87c4b view | diff 
Fix for issue 3111 (java-args defined in config/java.properties are not taken into account for some tools)
Use the proper env variable when launching the scripts.
2 files modified
4 ■■■■■ changed files
opendj-sdk/opends/resource/bin/ldif-diff.bat 2 ●●●●● diff | view | raw | blame | history
opendj-sdk/opends/resource/bin/ldifmodify.bat 2 ●●●●● diff | view | raw | blame | history