mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git

jvergara
23.46.2007 a4a6860b5ee00c993eb232bfa0ea9142a88c808f
refs
author jvergara <jvergara@localhost>
Friday, February 23, 2007 12:46 +0100
committer jvergara <jvergara@localhost>
Friday, February 23, 2007 12:46 +0100
commita4a6860b5ee00c993eb232bfa0ea9142a88c808f
tree ca24ec38c9167396037a41b024ea50e44b62b380 tree | zip | gz
parent cddf7c47847bd8c2ef0d00700b616abcae431de0 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
opends/resource/bin/stop-ds.bat 4 ●●●● diff | view | raw | blame | history