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