| Index: webkit/media/android/webmediaplayer_android.cc
|
| diff --git a/webkit/media/android/webmediaplayer_android.cc b/webkit/media/android/webmediaplayer_android.cc
|
| index 973c5f29bbda113c9df61ffc16523e42cc356e09..acfeb5d9b5e3fe9d76edfb6821f92c5f1350a109 100644
|
| --- a/webkit/media/android/webmediaplayer_android.cc
|
| +++ b/webkit/media/android/webmediaplayer_android.cc
|
| @@ -21,7 +21,6 @@
|
| #include "third_party/WebKit/Source/WebKit/chromium/public/WebMediaPlayerClient.h"
|
| #include "third_party/WebKit/Source/WebKit/chromium/public/WebMediaSource.h"
|
| #include "third_party/WebKit/Source/WebKit/chromium/public/WebView.h"
|
| -#include "webkit/media/android/media_source_delegate.h"
|
| #include "webkit/media/android/webmediaplayer_manager_android.h"
|
| #include "webkit/media/android/webmediaplayer_proxy_android.h"
|
| #include "webkit/media/webmediaplayer_util.h"
|
| @@ -552,6 +551,7 @@ void WebMediaPlayerAndroid::Detach() {
|
| stream_id_ = 0;
|
| }
|
|
|
| + media_source_delegate_.reset();
|
| current_frame_ = NULL;
|
| manager_ = NULL;
|
| proxy_ = NULL;
|
|
|