[jbosstools-issues] [JBoss JIRA] (JBIDE-12725) Name of JBoss server cannot be changed
[
https://issues.jboss.org/browse/JBIDE-12725?page=com.atlassian.jira.plugi...
]
Jaroslav Jankovič commented on JBIDE-12725:
-------------------------------------------
That is very weird Rob, because I think you made the same steps as I did. Did you tested
it on 4.0.0 Alpha2a(4.0.0.Alpha2-v20120924-1551-B13)? This bug was found with swtbot
tests, so in my case is 100% reproducible.
Name of JBoss server cannot be changed
--------------------------------------
Key: JBIDE-12725
URL: https://issues.jboss.org/browse/JBIDE-12725
Project: Tools (JBoss Tools)
Issue Type: Bug
Components: JBossAS/Servers
Affects Versions: 4.0.0.Alpha2
Reporter: Jaroslav Jankovič
Assignee: Jaroslav Jankovič
Fix For: 4.0.0.Alpha2
Attachments: JBIDE-12725-bug.ogv, JBIDE-12725.ogg, JBIDE-12725.ogg
--
This message is automatically generated by JIRA.
If you think it was sent incorrectly, please contact your JIRA administrators
For more information on JIRA, see: http://www.atlassian.com/software/jira