[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