mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 891a05 | patch | commitdiff
ludovicp
31.59.2010 8f8fa9a5bc51f0a11629031cb5bdc0753a839ade
refs
author ludovicp <ludovicp@localhost>
Monday, May 31, 2010 14:59 +0200
committer ludovicp <ludovicp@localhost>
Monday, May 31, 2010 14:59 +0200
commit8f8fa9a5bc51f0a11629031cb5bdc0753a839ade
tree 5c90579d916d96059031cd9c1fc4ecf9d8c8e8de tree | zip | gz
parent 891a05af3f913836ec3e2b756d37a8fb96be2d67 view | diff 
Resolve an issue when uninstalling in CLI mode and tool.properties has some properties. When doing uninstall, always stop the local server.
3 files modified
40 ■■■■■ changed files
opends/src/guitools/org/opends/guitools/uninstaller/Uninstaller.java 8 ●●●●● diff | view | raw | blame | history
opends/src/quicksetup/org/opends/quicksetup/util/ServerController.java 27 ●●●●● diff | view | raw | blame | history
opends/src/server/org/opends/server/tools/StopDS.java 5 ●●●●● diff | view | raw | blame | history