mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: edabeb | patch | commitdiff
jvergara
03.22.2008 9c80a62a2fe421c4a391cdf74306661e39bd71a2
refs
author jvergara <jvergara@localhost>
Thursday, April 3, 2008 17:22 +0200
committer jvergara <jvergara@localhost>
Thursday, April 3, 2008 17:22 +0200
commit9c80a62a2fe421c4a391cdf74306661e39bd71a2
tree 246d6380d7774e72ec1532f157bb5e90926f76ba tree | zip | gz
parent edabeb78e873977a3cfc46ebfa8d89b8e99d1072 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
opends/resource/bin/ldif-diff.bat 2 ●●●●● diff | view | raw | blame | history
opends/resource/bin/ldifmodify.bat 2 ●●●●● diff | view | raw | blame | history