[jbosstools-issues] [JBoss JIRA] (JBIDE-20482) WF9 and WF10 missing 'port offset' in ports section of editor

[Rob Stryker (JIRA)]

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

Rob Stryker resolved JBIDE-20482.
---------------------------------
    Fix Version/s: 4.3.0.CR1
       Resolution: Done


Pushed tiny fix to master...  port offset is only as71 or higher and had no corresponding section in plugin.properties, so was not automatically updated when lists of server types in plugin.properties was updated. 

This has been fixed. 

> WF9 and WF10 missing 'port offset' in ports section of editor
> -------------------------------------------------------------
>
>                 Key: JBIDE-20482
>                 URL: https://issues.jboss.org/browse/JBIDE-20482
>             Project: Tools (JBoss Tools)
>          Issue Type: Bug
>          Components: server
>    Affects Versions: 4.3.0.CR1
>            Reporter: Rob Stryker
>            Assignee: Rob Stryker
>             Fix For: 4.3.0.CR1
>
>
> The "Ports" section of the server editor for wf9 and wf10 seems to be missing the "Port Offset". This should be investigated. 



--
This message was sent by Atlassian JIRA
(v6.3.15#6346)