| Index: webkit/glue/webmediaplayer_impl.h
|
| diff --git a/webkit/glue/webmediaplayer_impl.h b/webkit/glue/webmediaplayer_impl.h
|
| index 187c753880a58f78e7c258def2ea48e4bcad1e7c..da1b142bfe0a3bcdd06537db687a380ffdb2c176 100644
|
| --- a/webkit/glue/webmediaplayer_impl.h
|
| +++ b/webkit/glue/webmediaplayer_impl.h
|
| @@ -106,6 +106,7 @@ class WebMediaPlayerImpl : public WebKit::WebMediaPlayer,
|
| // WebMediaPlayerImpl.
|
| void PipelineInitializationCallback();
|
| void PipelineSeekCallback();
|
| + void PipelineEndedCallback();
|
| void PipelineErrorCallback();
|
|
|
| private:
|
| @@ -118,6 +119,9 @@ class WebMediaPlayerImpl : public WebKit::WebMediaPlayer,
|
| // Notify |webmediaplayer_| that a seek has finished.
|
| void PipelineSeekTask();
|
|
|
| + // Notify |webmediaplayer_| that the media has ended.
|
| + void PipelineEndedTask();
|
| +
|
| // Notify |webmediaplayer_| that a pipeline error has been set.
|
| void PipelineErrorTask();
|
|
|
| @@ -220,6 +224,8 @@ class WebMediaPlayerImpl : public WebKit::WebMediaPlayer,
|
|
|
| void OnPipelineSeek();
|
|
|
| + void OnPipelineEnded();
|
| +
|
| void OnPipelineError();
|
|
|
| private:
|
|
|