Re: [w3c/push-api] Add note about single push service per user agent. (#244)

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

-- 
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
https://github.com/w3c/push-api/pull/244#issuecomment-313129727