mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 0d7f52 | patch | commitdiff
jvergara
17.34.2007 3a3d461880a8a0373201ea75984fce3e035a6040
refs
author jvergara <jvergara@localhost>
Wednesday, October 17, 2007 16:34 +0200
committer jvergara <jvergara@localhost>
Wednesday, October 17, 2007 16:34 +0200
commit3a3d461880a8a0373201ea75984fce3e035a6040
tree 9b12b0bdfe28651224e8f51cd67179e677b8699b tree | zip | gz
parent 0d7f526c8bd275c9874877a7d9e54fa78ba593ed view | diff 
Only exit of the launcher program when the GUI could not be launched.
1 files modified
2 ■■■■■ changed files
opendj-sdk/opends/src/quicksetup/org/opends/quicksetup/Launcher.java 2 ●●●●● diff | view | raw | blame | history