mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 2f0226 | patch | commitdiff
jvergara
26.05.2008 b37aa637215bb61cee6f30651e52640128b08b8a
refs
author jvergara <jvergara@localhost>
Wednesday, November 26, 2008 11:05 +0100
committer jvergara <jvergara@localhost>
Wednesday, November 26, 2008 11:05 +0100
commitb37aa637215bb61cee6f30651e52640128b08b8a
tree 261001382b6a4eec3e5f532f7de75733bdca4609 tree | zip | gz
parent 2f02263d36c3ee14ca185b6e01a16a01b379996b view | diff 
Use the ControlPanelLog class to know if there is a log file or not.
1 files modified
7 ■■■■■ changed files
opends/src/guitools/org/opends/guitools/controlpanel/ControlPanelLauncher.java 7 ●●●●● diff | view | raw | blame | history