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; |