Bug 130480 - Allow media engine to update HTMLMediaElement state when playing to external device
Summary: Allow media engine to update HTMLMediaElement state when playing to external ...
Status: RESOLVED FIXED
Alias: None
Product: WebKit
Classification: Unclassified
Component: Media (show other bugs)
Version: 528+ (Nightly build)
Hardware: Unspecified Unspecified
: P2 Normal
Assignee: Eric Carlson
URL:
Keywords:
Depends on:
Blocks:
 
Reported: 2014-03-19 15:01 PDT by Eric Carlson
Modified: 2014-03-19 15:43 PDT (History)
8 users (show)

See Also:

Attachments
Proposed patch (4.08 KB, patch)
2014-03-19 15:07 PDT, Eric Carlson 		no flags Details | Formatted Diff | Diff
View All Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
Description Eric Carlson 2014-03-19 15:01:07 PDT 
When media is playing to an external device, playback state changes made on the device (eg. with a remote control) happen without HTMLMediaElement input, so its state can get out of sync. These changes are reported to MediaPlayerPrivate by AVFoundation, but we don't have a mechanism for the media engine to update HTMLMediaElement state.
Comment 1 Eric Carlson 2014-03-19 15:07:42 PDT 
Created attachment 227224 [details]
Proposed patch
Comment 2 Jer Noble 2014-03-19 15:09:54 PDT 
Comment on attachment 227224 [details]
Proposed patch

r=me
Comment 3 WebKit Commit Bot 2014-03-19 15:43:09 PDT 
Comment on attachment 227224 [details]
Proposed patch

Clearing flags on attachment: 227224

Committed r165928: <http://trac.webkit.org/changeset/165928>
Comment 4 WebKit Commit Bot 2014-03-19 15:43:13 PDT 
All reviewed patches have been landed.  Closing bug.