mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: a837c0 | patch | commitdiff
jvergara
13.18.2009 67b6533bf0ed2eff52ad0634895be15acaf04354
refs
author jvergara <jvergara@localhost>
Monday, July 13, 2009 13:18 +0200
committer jvergara <jvergara@localhost>
Monday, July 13, 2009 13:18 +0200
commit67b6533bf0ed2eff52ad0634895be15acaf04354
tree 31c5b13793b586456fe05458c870bf81cd0eb0ea tree | zip | gz
parent a837c0600e8855892427c493e164147a8f68d6f4 view | diff 
Fix a layout issue when the server is stopped or the user did not provide authentication in the manage tasks panel.
1 files modified
1 ■■■■■ changed files
opends/src/guitools/org/opends/guitools/controlpanel/ui/ManageTasksPanel.java 1 ●●●●● diff | view | raw | blame | history