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, |