Index: Source/core/html/HTMLMediaElement.cpp |
diff --git a/Source/core/html/HTMLMediaElement.cpp b/Source/core/html/HTMLMediaElement.cpp |
index 0a8cab5474df71b56555b93d3a1b7a185cae76d1..ed4226fb448e9d9999b9892859683647ffb746b6 100644 |
--- a/Source/core/html/HTMLMediaElement.cpp |
+++ b/Source/core/html/HTMLMediaElement.cpp |
@@ -363,6 +363,14 @@ HTMLMediaElement::~HTMLMediaElement() |
document().incrementLoadEventDelayCount(); |
#endif |
+#if ENABLE(OILPAN) |
+ // Oilpan: the player must be released, but it cannot safely access |
haraken
2014/05/27 23:09:09
but => because ?
|
+ // this client any longer as parts of it may have been finalized |
+ // already (like the media element's supplementable table.) |
+ // Detach and render the client inaccessible first. |
+ if (m_player) |
+ m_player->detach(); |
+#endif |
clearMediaPlayerAndAudioSourceProviderClient(); |
#if !ENABLE(OILPAN) |