| Index: webkit/media/webmediaplayer_proxy.cc
|
| diff --git a/webkit/media/webmediaplayer_proxy.cc b/webkit/media/webmediaplayer_proxy.cc
|
| index bd888c76a06f52f67adb90d20b56db852604d981..9a2554277f93db43c3789453ae0575f3cb066747 100644
|
| --- a/webkit/media/webmediaplayer_proxy.cc
|
| +++ b/webkit/media/webmediaplayer_proxy.cc
|
| @@ -167,6 +167,10 @@ void WebMediaPlayerProxy::DemuxerAbort(const std::string& id) {
|
| chunk_demuxer_->Abort(id);
|
| }
|
|
|
| +void WebMediaPlayerProxy::DemuxerSetDuration(base::TimeDelta duration) {
|
| + chunk_demuxer_->SetDuration(duration);
|
| +}
|
| +
|
| void WebMediaPlayerProxy::DemuxerEndOfStream(media::PipelineStatus status) {
|
| chunk_demuxer_->EndOfStream(status);
|
| }
|
|
|