| Index: Source/WebCore/html/HTMLMediaElement.cpp
|
| ===================================================================
|
| --- Source/WebCore/html/HTMLMediaElement.cpp (revision 135931)
|
| +++ Source/WebCore/html/HTMLMediaElement.cpp (working copy)
|
| @@ -312,6 +312,10 @@
|
| if (m_mediaController)
|
| m_mediaController->removeMediaElement(this);
|
|
|
| +#if ENABLE(MEDIA_SOURCE)
|
| + setSourceState(MediaSource::closedKeyword());
|
| +#endif
|
| +
|
| removeElementFromDocumentMap(this, document());
|
| }
|
|
|
| @@ -3721,6 +3725,11 @@
|
| void HTMLMediaElement::clearMediaPlayer(signed flags)
|
| {
|
| #if !ENABLE(PLUGIN_PROXY_FOR_VIDEO)
|
| +
|
| +#if ENABLE(MEDIA_SOURCE)
|
| + setSourceState(MediaSource::closedKeyword());
|
| +#endif
|
| +
|
| m_player.clear();
|
| #endif
|
| stopPeriodicTimers();
|
|
|