search

w3c / push-api

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

Add note about single push service per user agent. #244

Closed msporny closed 7 years ago

msporny commented 7 years ago

This is a follow up to https://github.com/w3c/push-api/issues/243. The PR adds a note explaining that there is only one push service per user agent and provides some reasoning for the design decision. Our engineers spent a fair bit of time trying to understand if there was a way to change the push service and this text would have saved them some time.

msporny commented 7 years ago

Marked as non-substantive for IPR from ash-nazg.

Err... should I have been allowed to do that? I think it's editorial... and our company joined the group... so we're good either way.

buhrmi commented 7 years ago

Hello,

I stumbled over this too because I was under the impression that it would be easy to change the push server that is being used. A hint like that would have saved me time.

Also, it should be made possible for application developers to tell the user agent which push server to use. How would I go about requesting this?

Stefan

beverloo commented 7 years ago

@msporny - missed this, thanks! Let's merge it.

@buhrmi - you could file an issue, but we've repeatedly explained why we're not planning to support this. See e.g. https://github.com/w3c/push-api/issues/243#issuecomment-286782918 which I linked you to earlier today.

buhrmi commented 7 years ago

Indeed. And while I whole-heartedly understand the explanations, I'm not really satisfied by them...