Index: webkit/media/android/webmediaplayer_manager_android.h |
diff --git a/webkit/media/android/webmediaplayer_manager_android.h b/webkit/media/android/webmediaplayer_manager_android.h |
index 1e959a0fc25dd348b8858c97ee37c1047f5aff24..d342c31a9c4cb2be9cd7abe40285c832c567f27e 100644 |
--- a/webkit/media/android/webmediaplayer_manager_android.h |
+++ b/webkit/media/android/webmediaplayer_manager_android.h |
@@ -28,8 +28,9 @@ class WebMediaPlayerManagerAndroid { |
int RegisterMediaPlayer(WebMediaPlayerAndroid* player); |
void UnregisterMediaPlayer(int player_id); |
- // Release all the media resources managed by this object. |
- void ReleaseMediaResources(); |
+ // Release all the media resources managed by this object unless |
+ // a media play is in progress. |
+ void ReleaseMediaResourcesIfNotPlaying(); |
// Check whether a player can enter fullscreen. |
bool CanEnterFullscreen(WebKit::WebFrame* frame); |