[jboss-jira] [JBoss JIRA] (JGRP-1934) Add external protocol ID to jg-protocol-ids.xml

[Bela Ban (JIRA)]

Bela Ban created JGRP-1934:
------------------------------

             Summary: Add external protocol ID to jg-protocol-ids.xml
                 Key: JGRP-1934
                 URL: https://issues.jboss.org/browse/JGRP-1934
             Project: JGroups
          Issue Type: Feature Request
            Reporter: Bela Ban
            Assignee: Bela Ban
            Priority: Minor
             Fix For: 3.6.4


If some external project needs a protocol ID, allow to add an external protocol to {{jg-protocol-ids.xml}}.
Possibly do the same for magic numbers ({{jg-magic-map.xml}})



--
This message was sent by Atlassian JIRA
(v6.3.15#6346)