mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: cddf7c | patch | commitdiff
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