| Index: webkit/media/android/webmediaplayer_manager_android.cc
|
| diff --git a/webkit/media/android/webmediaplayer_manager_android.cc b/webkit/media/android/webmediaplayer_manager_android.cc
|
| index affc21052e317f4156bcd5cdd44348ca94719e95..4d24ad4340c83538bf98993ec8d697384d090a6d 100644
|
| --- a/webkit/media/android/webmediaplayer_manager_android.cc
|
| +++ b/webkit/media/android/webmediaplayer_manager_android.cc
|
| @@ -26,14 +26,14 @@ void WebMediaPlayerManagerAndroid::UnregisterMediaPlayer(int player_id) {
|
| media_players_.erase(player_id);
|
| }
|
|
|
| -void WebMediaPlayerManagerAndroid::ReleaseMediaResourcesIfNotPlaying() {
|
| +void WebMediaPlayerManagerAndroid::ReleaseMediaResources() {
|
| std::map<int32, WebMediaPlayerAndroid*>::iterator player_it;
|
| for (player_it = media_players_.begin();
|
| player_it != media_players_.end(); ++player_it) {
|
| WebMediaPlayerAndroid* player = player_it->second;
|
|
|
| // Do not release if an audio track is still playing
|
| - if (player && player->paused())
|
| + if (player && (player->paused() || player->hasVideo()))
|
| player->ReleaseMediaResources();
|
| }
|
| }
|
|
|