| Index: webkit/media/android/webmediaplayer_android.cc
|
| diff --git a/webkit/media/android/webmediaplayer_android.cc b/webkit/media/android/webmediaplayer_android.cc
|
| index fae25d6ffd800c028354feb528cefc1960a7c526..f98aaaec5a19d35241a83ef5262d020e091ad336 100644
|
| --- a/webkit/media/android/webmediaplayer_android.cc
|
| +++ b/webkit/media/android/webmediaplayer_android.cc
|
| @@ -409,6 +409,10 @@ void WebMediaPlayerAndroid::EstablishSurfaceTexturePeer() {
|
| needs_establish_peer_ = false;
|
| }
|
|
|
| +void WebMediaPlayerAndroid::SetNeedsEstablishPeer(bool needs_establish_peer) {
|
| + needs_establish_peer_ = needs_establish_peer;
|
| +}
|
| +
|
| void WebMediaPlayerAndroid::UpdatePlayingState(bool is_playing) {
|
| is_playing_ = is_playing;
|
| }
|
|
|