| Index: webkit/media/android/media_source_delegate.h
|
| diff --git a/webkit/media/android/media_source_delegate.h b/webkit/media/android/media_source_delegate.h
|
| index 6ce16b11a7811ece23a9d73b296a7d9a7553027b..ae0c65692055704370031ead712d087b3427366c 100644
|
| --- a/webkit/media/android/media_source_delegate.h
|
| +++ b/webkit/media/android/media_source_delegate.h
|
| @@ -82,6 +82,8 @@ class MediaSourceDelegate : public media::DemuxerHost {
|
|
|
| void Seek(base::TimeDelta time);
|
|
|
| + void CancelPendingSeek();
|
| +
|
| // Called when DemuxerStreamPlayer needs to read data from ChunkDemuxer.
|
| // If it's the first request after the seek, |seek_done| will be true.
|
| void OnReadFromDemuxer(media::DemuxerStream::Type type, bool seek_done);
|
|
|