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