]
Martin Malina closed JBIDE-17636.
---------------------------------
I'm gonna close this. I tried this a number of times and it seems to work. There is a
UI issue though: JBIDE-17847
Verified in JBDS 8.0.0.Beta3 B172
No way to modify server profile
-------------------------------
Key: JBIDE-17636
URL:
https://issues.jboss.org/browse/JBIDE-17636
Project: Tools (JBoss Tools)
Issue Type: Bug
Components: server
Affects Versions: 4.2.0.Beta2
Reporter: Rob Stryker
Assignee: Rob Stryker
Priority: Critical
Labels: affects_documentation, new_and_noteworthy
Fix For: 4.2.0.Beta3
Attachments: reconfigure_server_1.png, reconfigure_server_2.png,
reconfigure_server_3.png
Users have no way to modify a server\s profile once the server has been created. This is
a blocking requirement.