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#...
Reply to the post :
http://www.jboss.com/index.html?module=bb&op=posting&mode=reply&a...