mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 0274b7 | patch | commitdiff
jvergara
23.46.2007 05e7f084667cf1d8bb580a214e5210e33ca82ffe
refs
author jvergara <jvergara@localhost>
Friday, February 23, 2007 12:46 +0100
committer jvergara <jvergara@localhost>
Friday, February 23, 2007 12:46 +0100
commit05e7f084667cf1d8bb580a214e5210e33ca82ffe
tree 56ae54befacaf456f3201618a58e881605af9177 tree | zip | gz
parent 0274b7f9ba4df1cf9867bccfcc75bf6f72f1d485 view | diff 
Fix for issue 1271.
"%*" Does not work properly when we have arguments with quotes.  Use a FOR statement to determine whether the user provided arguments or not to the stop-ds.bat command.
1 files modified
4 ■■■■■ changed files
opendj-sdk/opends/resource/bin/stop-ds.bat 4 ●●●●● diff | view | raw | blame | history