[jbosstools-issues] [JBoss JIRA] Created: (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.1.0.M1, 3.0.1.GA Reporter: 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. -- This message is automatically generated by JIRA. - If you think it was sent incorrectly contact one of the administrators: https://jira.jboss.org/jira/secure/Administrators.jspa - For more information on JIRA, see: http://www.atlassian.com/software/jira