- From: DarkTrick <notifications@github.com>
- Date: Tue, 26 Jul 2022 21:49:42 -0700
- To: w3c/push-api <push-api@noreply.github.com>
- Cc: Subscribed <subscribed@noreply.github.com>
Received on Wednesday, 27 July 2022 04:49:54 UTC
[The sequence diagram below](https://github.com/w3c/push-api/blob/gh-pages/images/sequence_diagram.png) 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/...). 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](https://github.com/w3c/push-api/blob/gh-pages/images/sequence_diagram.png?raw=true) It would be nice if the documentation could be more informative on this point. -- Reply to this email directly or view it on GitHub: https://github.com/w3c/push-api/issues/355 You are receiving this because you are subscribed to this thread. Message ID: <w3c/push-api/issues/355@github.com>
Received on Wednesday, 27 July 2022 04:49:54 UTC