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