search

w3c / push-api

Push API
https://w3c.github.io/push-api/
Other
144 stars 40 forks source link

Documentation: It's not clear how to specify the push service #355

Open DarkTrick opened 1 year ago

DarkTrick commented 1 year ago

The sequence diagram below shows that the web page subscribes to the user agent (no problem so far) and the user agent subscribe()s to the push service. However, it ... 1) ... is unclear (from the docs) how to specify the push service's location (URL/IP/...).
edit: I'd find it very helpful, if the docs clearly stated, that this service is given by the browser vendor and is not changable. 2) ... seems currently not possible to specify the location of a push service. To me it looks like the user agent actually subscribe()s to the application server (as this is the only known target) and the application server "forwards"(?) the information to the push service.

diagram

It would be nice if the documentation could be more informative on this point.

DarkTrick commented 1 year ago

I would also find it very helpful if the docs stated that "the push subscription contains the push endpoint, which is the target URL for the application server to send messages to."

image

I think, making these points clearer in the docs might help.

Currently the docs sound like the push service is something the app developer has to put in place - while it is actually (non-optionally) provided by the browser vendow.

marcoscaceres commented 1 year ago

I also found this confusing when I first went though the document. I'll try to clarify.