-
Type: Improvement
-
Status: Closed
-
Priority: Major
-
Resolution: Fixed
-
Affects Version/s: None
-
Fix Version/s: None
-
Component/s: core
-
Labels:None
-
Proposal:
-
Resolution:
Section 4.7.2.1 of wd-20 states;
A Topic Filter that starts with a wildcard character (# or +) does not match Topic Names that begin with a $ character
This appears to be a normative statement regarding server behaviour without any accompanying normative language.
While server implementations may choose whether or not to implement predefined $topics I thought we explicitly did want separate all topics starting with $ from the rest of the topic space.