I have added a patch for adding the server config to the title.
http://jira.jboss.com/jira/browse/JBAS-3051
Any comments guys?
Clive
This could use the org.jboss.system.server.ServerConfig interface for the constants that represent the properties:
SERVER_BIND_ADDRESS = "jboss.bind.address";
SERVER_NAME = "jboss.server.name";
but looks fine.