[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