Index: content/browser/android/media_player_manager_android.cc |
diff --git a/content/browser/android/media_player_manager_android.cc b/content/browser/android/media_player_manager_android.cc |
index 2716079527d87d29b038f0b989d201ddebb68a88..6f0c6687fedd0c621cef1b57cde9aba50758aa97 100644 |
--- a/content/browser/android/media_player_manager_android.cc |
+++ b/content/browser/android/media_player_manager_android.cc |
@@ -123,6 +123,8 @@ void MediaPlayerManagerAndroid::OnInitialize( |
base::Bind(&MediaPlayerManagerAndroid::OnSeekComplete, |
base::Unretained(this)), |
base::Bind(&MediaPlayerManagerAndroid::OnTimeUpdate, |
+ base::Unretained(this)), |
+ base::Bind(&MediaPlayerManagerAndroid::OnMediaInterrupted, |
base::Unretained(this)))); |
// Send a MediaPrepared message to webkit so that Load() can finish. |
@@ -220,6 +222,10 @@ void MediaPlayerManagerAndroid::OnPlaybackComplete(int player_id) { |
video_view_.OnPlaybackComplete(); |
} |
+void MediaPlayerManagerAndroid::OnMediaInterrupted(int player_id) { |
+ OnReleaseResources(player_id); |
qinmin
2012/11/23 23:46:38
This will cause some problems on the webkit side m
Miguel Garcia
2012/11/26 10:37:51
Wow thanks a lot for catching this! I added the ch
|
+} |
+ |
void MediaPlayerManagerAndroid::OnBufferingUpdate( |
int player_id, int percentage) { |
Send(new MediaPlayerMsg_MediaBufferingUpdate( |