mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 9ce147 | patch | commitdiff
jvergara
22.12.2007 383f64abba9798dc3e5a6485b27a4a999b77015c
refs
author jvergara <jvergara@localhost>
Thursday, February 22, 2007 23:12 +0100
committer jvergara <jvergara@localhost>
Thursday, February 22, 2007 23:12 +0100
commit383f64abba9798dc3e5a6485b27a4a999b77015c
tree 602bd041349402e905cc85b8469297794e4c3e4a tree | zip | gz
parent 9ce1475996a66be5463a1b5ad3c74af6d73097cb view | diff 
This fixes a bug when the user provides only one parameter (-R or --restart).
1 files modified
2 ■■■■■ changed files
opends/resource/bin/stop-ds.bat 2 ●●●●● diff | view | raw | blame | history