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