Description of problem:
The user instance create script should allow a port offset to be specified. This port offset would be written to the port-offset attribute on the socket-binding-group element in the instance configuration file.
Version-Release number of selected component (if applicable):
There is no option currently.
I propose the following argument:
-p Port offset for the socket binding group
jboss-as-cp -l $HOME/jboss-as-user-instance -c standalone-web.xml -p 100
This should create the following attribute in the instance configuration file (in this case configuration/standalone-web.xml):
<socket-binding-group name="standard-sockets" default-interface="public" port-offset="100">
That's another good idea! Fixed in upstream:
It'll be available in jboss-as-7.1.1-4.
jboss-as-7.1.1-4.fc17 has been submitted as an update for Fedora 17.
jboss-as-7.1.1-4.fc17 has been pushed to the Fedora 17 stable repository. If problems still persist, please make note of it in this bug report.