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; |
} |