mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 563f1c | patch | commitdiff
kenneth_suter
22.31.2007 96a5808b37f9f0fa137830250abe0fc40572d1cd
refs
author kenneth_suter <kenneth_suter@localhost>
Friday, June 22, 2007 19:31 +0200
committer kenneth_suter <kenneth_suter@localhost>
Friday, June 22, 2007 19:31 +0200
commit96a5808b37f9f0fa137830250abe0fc40572d1cd
tree 4cce4081100d520780f21468355282946219c6f2 tree | zip | gz
parent 563f1c3dd70680dbd7c67a2245bb5b1428a57ce1 view | diff 
fixed problem stopping server in Windows (see issue 1816)
1 files modified
4 ■■■■■ changed files
opendj-sdk/opends/src/quicksetup/org/opends/quicksetup/util/ServerController.java 4 ●●●●● diff | view | raw | blame | history