mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: e677a5 | patch | commitdiff
jvergara
05.31.2009 b41e5752c7a9edb350ad4b2fecc40539c94a3ef0
refs
author jvergara <jvergara@localhost>
Friday, June 5, 2009 14:31 +0200
committer jvergara <jvergara@localhost>
Friday, June 5, 2009 14:31 +0200
commitb41e5752c7a9edb350ad4b2fecc40539c94a3ef0
tree ad17bdacd75c5a07c8e8f87085f0d6fb1516bc10 tree | zip | gz
parent e677a52916063439a3adc5b8517aff4a759fff88 view | diff 
Fix for issue 4038 (Server Stopped ishardcoded in the control panel)
1 files modified
4 ■■■■■ changed files
opends/src/guitools/org/opends/guitools/controlpanel/task/StopServerTask.java 4 ●●●●● diff | view | raw | blame | history