Index: Source/WebCore/html/HTMLMediaElement.cpp |
=================================================================== |
--- Source/WebCore/html/HTMLMediaElement.cpp (revision 135929) |
+++ Source/WebCore/html/HTMLMediaElement.cpp (working copy) |
@@ -303,6 +303,10 @@ |
if (m_mediaController) |
m_mediaController->removeMediaElement(this); |
+#if ENABLE(MEDIA_SOURCE) |
+ setSourceState(MediaSource::closedKeyword()); |
+#endif |
+ |
removeElementFromDocumentMap(this, document()); |
} |
@@ -3616,6 +3620,10 @@ |
// If the media data fetching process is aborted by the user: |
// 1 - The user agent should cancel the fetching process. |
+#if ENABLE(MEDIA_SOURCE) |
+ setSourceState(MediaSource::closedKeyword()); |
+#endif |
+ |
#if !ENABLE(PLUGIN_PROXY_FOR_VIDEO) |
m_player.clear(); |
#endif |