• Type: Improvement
    • Resolution: Fixed
    • Priority: Major
    • None
    • Affects Version/s: None
    • Component/s: core
    • None
    • Hide

      replace text under 4.7.2 with:

      The Server MUST NOT match Topic Filters starting with a wildcard character (# or +) with Topic Names beginning with a $ character. The Server SHOULD prevent Clients from using such Topic Names to exchange messages with other Clients. Server implementations MAY use Topic Names that start with a leading $ character for other purposes.

      remove 4.7.2.1, retaining the non-normative comments from both sections.

      Show
      replace text under 4.7.2 with: The Server MUST NOT match Topic Filters starting with a wildcard character (# or +) with Topic Names beginning with a $ character. The Server SHOULD prevent Clients from using such Topic Names to exchange messages with other Clients. Server implementations MAY use Topic Names that start with a leading $ character for other purposes. remove 4.7.2.1, retaining the non-normative comments from both sections.
    • Hide

      Resolved in WD23

      Show
      Resolved in WD23

      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.

            Assignee:
            Andrew Banks (Inactive)
            Reporter:
            Allan Stockdill-Mander (Inactive)
            Votes:
            0 Vote for this issue
            Watchers:
            4 Start watching this issue

              Created:
              Updated:
              Resolved: