What you have should be fine, except I would change -Dmcast.port=5001 to
-Djboss.hapartition.mcast_port=5001. The different config files that cause creation of a
JGroups channel all specify a system property that you can set; basically doing what you
already did with 'mcast.port' but applying it to all the config files, with a
different property for each. The 'jboss.hapartition.mcast_port' property is used
in the cluster-service.xml file.
See
http://jira.jboss.com/jira/browse/JBAS-4021[url].
View the original post :
http://www.jboss.com/index.html?module=bb&op=viewtopic&p=4053751#...
Reply to the post :
http://www.jboss.com/index.html?module=bb&op=posting&mode=reply&a...