How to change port number in jboss-7

Question

I am using jboss-7 and I want to change the port number from 8080 to 7001. Which file do I need to change?

Answer 1

When starting use

./standalone.sh -b 0.0.0.0 -Djboss.socket.binding.port-offset=1000 & 

- for linux

standalone.bat -Djboss.socket.binding.port-offset=1000 

- windows

here 1000 is the offset value. 8080 + 1000 = 9080 the application will start