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