Index: webkit/media/android/webmediaplayer_android.cc |
diff --git a/webkit/media/android/webmediaplayer_android.cc b/webkit/media/android/webmediaplayer_android.cc |
index a17770feba8d1ef69bfad6133efbbd2b142c26dc..b105c35682ce9f13518270f158559242b695b5b6 100644 |
--- a/webkit/media/android/webmediaplayer_android.cc |
+++ b/webkit/media/android/webmediaplayer_android.cc |
@@ -410,6 +410,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; |
} |