[jboss-jira] [JBoss JIRA] Created: (JGRP-923) Port cluster name to GMS address print
Galder Zamarreno (JIRA)
jira-events at lists.jboss.org
Thu Mar 5 04:12:22 EST 2009
Port cluster name to GMS address print
--------------------------------------
Key: JGRP-923
URL: https://jira.jboss.org/jira/browse/JGRP-923
Project: JGroups
Issue Type: Feature Request
Reporter: Galder Zamarreno
Assignee: Bela Ban
Priority: Minor
Fix For: 2.6.9
Port cluster name addition tp GMS address printing:
System.out.println("\n---------------------------------------------------------\n" +
"GMS: address is " + local_addr + " (cluster=" + evt.getArg() + ")" +
"\n---------------------------------------------------------");
--
This message is automatically generated by JIRA.
-
If you think it was sent incorrectly contact one of the administrators: https://jira.jboss.org/jira/secure/Administrators.jspa
-
For more information on JIRA, see: http://www.atlassian.com/software/jira
More information about the jboss-jira
mailing list