mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 5d4f00 | patch | commitdiff
ludovicp
31.59.2010 9e01bfedc057e6953c5c6953ca444326df5c4bea
refs
author ludovicp <ludovicp@localhost>
Monday, May 31, 2010 14:59 +0200
committer ludovicp <ludovicp@localhost>
Monday, May 31, 2010 14:59 +0200
commit9e01bfedc057e6953c5c6953ca444326df5c4bea
tree 836d942aa25d6c75f0843cba5d69ba44877d32ed tree | zip | gz
parent 5d4f00b8a80261d04ae1b0fbfcf108f3c0efdffd 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
opendj-sdk/opends/src/guitools/org/opends/guitools/uninstaller/Uninstaller.java 8 ●●●●● diff | view | raw | blame | history
opendj-sdk/opends/src/quicksetup/org/opends/quicksetup/util/ServerController.java 27 ●●●●● diff | view | raw | blame | history
opendj-sdk/opends/src/server/org/opends/server/tools/StopDS.java 5 ●●●●● diff | view | raw | blame | history