[jboss-user] [Clustering/JBoss] - Re: change default partition name

cervatz do-not-reply at jboss.com
Tue Mar 13 06:10:10 EDT 2007


The solution you suggested works fine!
Thank you very much!
Enrico



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

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



More information about the jboss-user mailing list