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