[jbosstools-issues] [JBoss JIRA] Resolved: (JBIDE-4729) Support ports configuration for JBoss AS 5.X

Support ports configuration for JBoss AS 5.X -------------------------------------------- Key: JBIDE-4729 URL: https://jira.jboss.org/jira/browse/JBIDE-4729 Project: JBoss Tools Issue Type: Feature Request Components: JBossAS Affects Versions: 3.1.0.M3 Reporter: Denis Golovin Assignee: Rob Stryker I got problem to start JBoss AS 5.1.0 because I have hudson running the local build for something. I guessed that Port group in JBoss AS Server editor provides the way to change the ports and realized that it just ports for pooling. So I cannot change the ports As it can be done for tomcat. I understand that is not just so simple because actually there are a lot more ports used in AS. So I found the way to shift all ports and have AS and hudson up at the same time. Here is the description http://www.jboss.org/community/wiki/ConfigurePorts. Is that worth to support this in JBoss AS Tools? I mean the case with system property -Djboss.service.binding.set=ports-01