Changeset 166274 in webkit

Timestamp:

Mar 25, 2014 5:57:25 PM (10 years ago)

Author:

eric.carlson@apple.com

Message:

[Mac] Always retry a failed MediaDocument as a PluginDocument
​https://bugs.webkit.org/show_bug.cgi?id=130742

Reviewed by Jer Noble.

• html/HTMLMediaElement.cpp:

(WebCore::HTMLMediaElement::mediaLoadingFailedFatally): If the element is in a media document,

tell it that loading failed so it can retry as a plug-in.

Location:

trunk/Source/WebCore

Files:

• ChangeLog (modified) (1 diff)
• html/HTMLMediaElement.cpp (modified) (1 diff)

trunk/Source/WebCore/ChangeLog

@@ +1 @@
+2014-03-25  Eric Carlson  <eric.carlson@apple.com>
+
+        [Mac] Always retry a failed MediaDocument as a PluginDocument
+        https://bugs.webkit.org/show_bug.cgi?id=130742
+
+        Reviewed by Jer Noble.
+
+        * html/HTMLMediaElement.cpp:
+        (WebCore::HTMLMediaElement::mediaLoadingFailedFatally): If the element is in a media document,
+            tell it that loading failed so it can retry as a plug-in.
+
 2014-03-25  Ryosuke Niwa  <rniwa@webkit.org>
 

trunk/Source/WebCore/html/HTMLMediaElement.cpp

@@ -1877 +1877 @@
     // 6 - Abort the overall resource selection algorithm.
     m_currentSourceNode = 0;
+
+#if PLATFORM(COCOA)
+    if (document().isMediaDocument())
+        toMediaDocument(document()).mediaElementSawUnsupportedTracks();
+#endif
 }