[jboss-user] [Installation, Configuration & DEPLOYMENT] - Re: Assigning the same port for web server and naming