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

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)