[jbosstools-issues] [JBoss JIRA] (JBIDE-12725) Name of JBoss server cannot be changed

[Jaroslav Jankovič (JIRA)]

    [ https://issues.jboss.org/browse/JBIDE-12725?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=12722479#comment-12722479 ] 

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