- 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.  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