| Index: webkit/media/webmediaplayer_proxy.cc
|
| diff --git a/webkit/media/webmediaplayer_proxy.cc b/webkit/media/webmediaplayer_proxy.cc
|
| index 911c9bc1645754d3399f882e1aa4a7a83cb10f22..a9002daf6a5074bcafdd5619904b485a699e9370 100644
|
| --- a/webkit/media/webmediaplayer_proxy.cc
|
| +++ b/webkit/media/webmediaplayer_proxy.cc
|
| @@ -189,6 +189,11 @@ void WebMediaPlayerProxy::DemuxerStartWaitingForSeek() {
|
| chunk_demuxer_->StartWaitingForSeek();
|
| }
|
|
|
| +void WebMediaPlayerProxy::DemuxerCancelPendingSeek() {
|
| + if (chunk_demuxer_.get())
|
| + chunk_demuxer_->CancelPendingSeek();
|
| +}
|
| +
|
| media::ChunkDemuxer::Status WebMediaPlayerProxy::DemuxerAddId(
|
| const std::string& id,
|
| const std::string& type,
|
|
|