]
Martin Malina closed JBIDE-20482.
---------------------------------
The port offset is there now for both WF 9 and 10. Verified in JBDS 9.0.0.CR1 B100
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.