[jbosstools-issues] [JBoss JIRA] Closed: (JBIDE-4505) Manual override of web port in server editor is broken

Manual override of web port in server editor is broken ------------------------------------------------------ Key: JBIDE-4505 URL: https://jira.jboss.org/jira/browse/JBIDE-4505 Project: Tools (JBoss Tools) Issue Type: Bug Components: JBossAS Affects Versions: 3.0.1.GA, 3.1.0.M1 Reporter: Rob Stryker Assignee: Rob Stryker Fix For: 3.0.2.GA, 3.1.0.M2 Overriding web port and setting it manually doesn't work currently. Hi Rob, Thank you for workaround. Now something new: 1.Open server editor 2.Change JNDI Port to 1099 3.Change WEB port to 8080 4.Save 5.Open server editor WEB port is 1099. Must be 8080.