mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 183388 | patch | commitdiff
kenneth_suter
22.31.2007 75135eca95dd73273de360f01fb580e7ce755b9b
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
commit75135eca95dd73273de360f01fb580e7ce755b9b
tree c39fbbfba9f14f51149ba640eadcbb52a24ca275 tree | zip | gz
parent 183388b40ccc4e02a3299d0c78b5510011679c8a view | diff 
fixed problem stopping server in Windows (see issue 1816)
1 files modified
4 ■■■■■ changed files
opends/src/quicksetup/org/opends/quicksetup/util/ServerController.java 4 ●●●●● diff | view | raw | blame | history