[
https://issues.jboss.org/browse/JBIDE-20482?page=com.atlassian.jira.plugi...
]
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)