[jboss-user] [Clustering/JBoss] - Re: How to change PartitionName

hmesha do-not-reply at jboss.com
Tue Dec 5 14:38:55 EST 2006


You don't need to change each occurrence. To change the partition name, pass -Djboss.partition.name= to the server startup.

Check this wkik page: http://wiki.jboss.org/wiki/Wiki.jsp?page=ChangeClusterPartitionName


Hany Mesha
Novell Inc.


View the original post : http://www.jboss.com/index.html?module=bb&op=viewtopic&p=3991435#3991435

Reply to the post : http://www.jboss.com/index.html?module=bb&op=posting&mode=reply&p=3991435



More information about the jboss-user mailing list