| Index: content/browser/media/android/browser_media_player_manager.cc
|
| diff --git a/content/browser/media/android/browser_media_player_manager.cc b/content/browser/media/android/browser_media_player_manager.cc
|
| index 4ad8c42779eae9347eda6ff2febd14d9931f4fec..77ce9d14aed21e7c9752d5d762cb77114f77d2b3 100644
|
| --- a/content/browser/media/android/browser_media_player_manager.cc
|
| +++ b/content/browser/media/android/browser_media_player_manager.cc
|
| @@ -269,7 +269,7 @@ void BrowserMediaPlayerManager::OnPlaybackComplete(int player_id) {
|
|
|
| void BrowserMediaPlayerManager::OnMediaInterrupted(int player_id) {
|
| // Tell WebKit that the audio should be paused, then release all resources
|
| - Send(new MediaPlayerMsg_DidMediaPlayerPause(routing_id(), player_id));
|
| + Send(new MediaPlayerMsg_MediaPlayerReleased(routing_id(), player_id));
|
| OnReleaseResources(player_id);
|
| }
|
|
|
|
|