W3C home > Mailing lists > Public > public-script-coord@w3.org > October to December 2014

[Bug 23033] Requesting PermissionDeniedError to be added

From: <bugzilla@jessica.w3.org>
Date: Thu, 09 Oct 2014 15:36:02 +0000
To: public-script-coord@w3.org
Message-ID: <bug-23033-3890-ZSyXvW3aEl@http.www.w3.org/Bugs/Public/>

--- Comment #11 from Michael van Ouwerkerk <mvanouwerkerk@chromium.org> ---
Hi Anne, I did see the whatwg discussion on permission requests and promises.
The Push API does not have a method for explicitly requesting permissions.
Check the spec for details, I think promise rejection when permission is denied
is appropriate for the current API design. Fulfilling the promise for the
register method successfully requires a PushRegistration which would not exist
if permission was rejected.

How can we proceed on getting PermissionDeniedError in WebIDL then? Should I
ping Cameron or are there other editors for WebIDL that can do this?

You are receiving this mail because:
You are on the CC list for the bug.
Received on Thursday, 9 October 2014 15:36:06 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 17:14:23 UTC