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

[Rob Stryker (JIRA)]

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

Rob Stryker commented on JBIDE-12725:
-------------------------------------

public patch approved, but no updates with schedule. 
                
> 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: LATER
>
>         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