Summary: | HTMLMediaElement: network state changes can be missed | ||||||
---|---|---|---|---|---|---|---|
Product: | WebKit | Reporter: | Eric Carlson <eric.carlson> | ||||
Component: | WebCore Misc. | Assignee: | Nobody <webkit-unassigned> | ||||
Status: | RESOLVED FIXED | ||||||
Severity: | Normal | ||||||
Priority: | P2 | ||||||
Version: | 528+ (Nightly build) | ||||||
Hardware: | All | ||||||
OS: | All | ||||||
Attachments: |
|
Description
Eric Carlson
2009-03-31 14:40:54 PDT
Created attachment 29132 [details]
proposed patch
Comment on attachment 29132 [details] proposed patch > + MediaPlayer::ReadyState currentState = m_player->readyState(); > + if (static_cast<ReadyState>(currentState) != m_readyState) This cast is pretty heinous. It would be nice to: 1. Have MediaPlayer ReadyState have a somewhat different name (PlayerReadyState). 2. Have a method that converts them: ReadyState readyStateForPlayerReadyState(PlayerReadyState) rather than casting. But those can be done in a later commit. Committed revision 42144. |