mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 43e9c7 | patch | commitdiff
jvergara
08.34.2007 ac7d5fa0bf240a29c5910e008a873b1c20e806d9
refs
author jvergara <jvergara@localhost>
Friday, June 8, 2007 18:34 +0200
committer jvergara <jvergara@localhost>
Friday, June 8, 2007 18:34 +0200
commitac7d5fa0bf240a29c5910e008a873b1c20e806d9
tree 913dc2356cf42a55b3c415c71febdc0948b86128 tree | zip | gz
parent 43e9c7913fc664b725e167090fe6d389a4558315 view | diff 
Use the first parameter of the batch file instead of the batch file itself to test whether we use the winlauncher.exe or not for the setup and the uninstall.
2 files modified
4 ■■■■■ changed files
opends/resource/setup.bat 2 ●●●●● diff | view | raw | blame | history
opends/resource/uninstall.bat 2 ●●●●● diff | view | raw | blame | history