Bug 130480

Summary:

Allow media engine to update HTMLMediaElement state when playing to external device

Product:

WebKit

Reporter:

Eric Carlson <eric.carlson>

Component:

Media

Assignee:

Eric Carlson <eric.carlson>

Status:

RESOLVED FIXED

Severity:

Normal

CC:

calvaris, commit-queue, esprehn+autocc, glenn, gyuyoung.kim, jer.noble, philipj, sergio

Priority:

Version:

528+ (Nightly build)

Hardware:

Unspecified

OS:

Unspecified

Attachments:

Description	Flags
Proposed patch	none

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.