Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

spec: explicitly allow to use string as IDs #111

Merged
merged 4 commits into from
Jul 15, 2019
Merged

spec: explicitly allow to use string as IDs #111

Changes from all commits
Commits
Show all changes
4 commits
Select commit Hold shift + click to select a range
94e93b3
spec: explicitly allow to use string as IDs
dunglas Jul 2, 2019
ab884c0
Update spec/mercure.md
dunglas Jul 2, 2019
81d62c0
Update spec/mercure.md
dunglas Jul 2, 2019
ca6dae5
Update spec/mercure.md
dunglas Jul 2, 2019
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
9 changes: 5 additions & 4 deletions spec/mercure.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -39,8 +39,9 @@ The keywords **MUST**, **MUST NOT**, **REQUIRED**, **SHALL**, **SHALL NOT**, **S
NOT**, **RECOMMENDED**, **MAY**, and **OPTIONAL**, when they appear in this document, are to be
interpreted as described in [@!RFC2119].

* Topic: An HTTP [@!RFC7230] or HTTPS [@!RFC2818] topic URL. The unit to which one can subscribe
to changes.
* Topic: The unit to which one can subscribe to changes. The topic **MUST** be identified by an
IRI [!@RFC3987] or by a string. Using an HTTPS [@!RFC7230] or HTTP [@!RFC7230] URI [@!RFC3986]
is **RECOMMENDED**.

* Publisher: An owner of a topic. Notifies the hub when the topic feed has been updated. As in
almost all pubsub systems, the publisher is unaware of the subscribers, if any. Other pubsub
Expand All @@ -51,8 +52,8 @@ interpreted as described in [@!RFC2119].
Progressive Web App or a Mobile App, but can also be a server.

* Target: A subscriber, or a group of subscribers. A publisher is able to securely dispatch
updates to specific targets. Using an HTTP [@!RFC7230] or HTTPS [@!RFC2818] URL to identify
targets is **RECOMMENDED**.
updates to specific targets. The target **MUST** be identified by an IRI [!@RFC3987] or by a
string. Using an HTTPS [@!RFC7230] or HTTP [@!RFC7230] URI is **RECOMMENDED**.

* Hub: A server that handles subscription requests and distributes the content to subscribers
when the corresponding topics have been updated.
Expand Down