[jboss-user] [Installation, Configuration & DEPLOYMENT] - How to change the jboss 4.2.3 GA port number??

Hi, can anybody will tell me which is right way to change the port number in jboss application server. because i have seen in some link that changing port number in sever.xml is enough but still in some link they have mention list of xml files to be modified to change the port number from 8080 to somenumber (9090). i would like to get nice answer from jboss forum so i am posting here to get accurate result. View the original post : http://www.jboss.org/index.html?module=bb&op=viewtopic&p=4247735#... Reply to the post : http://www.jboss.org/index.html?module=bb&op=posting&mode=reply&a...