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

[Martin Malina (JIRA)]

     [ https://issues.jboss.org/browse/JBIDE-12725?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel ]

Martin Malina closed JBIDE-12725.
---------------------------------



Verified.
                
> 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, UpStream
>    Affects Versions: 4.0.0.Alpha2
>            Reporter: Jaroslav Jankovič
>            Assignee: Rob Stryker
>             Fix For: 4.0.1.Final
>
>         Attachments: JBIDE-12725-bug.ogv, JBIDE-12725.ogg, JBIDE-12725.ogg
>
>
> https://bugs.eclipse.org/bugs/show_bug.cgi?id=390993
> Created a bug and patch upstream
> SR2 is scheduled for GA: 2/22  (http://wiki.eclipse.org/Juno/Simultaneous_Release_Plan#SR2)

--
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