JBoss-Jetty Port Change?

[dking_radford]

How do I change the default port
from 8080, i.e. where is this specified (*.xml)

[jules]

See the FAQ posted 3 or 4 articles before your own in this forum.

Jules