Title: [207956] trunk/Source/WebCore
Revision
207956
Author
svil...@igalia.com
Date
2016-10-27 01:22:56 -0700 (Thu, 27 Oct 2016)

Log Message

Unreviewed. Build fix for gcc.

* platform/graphics/gstreamer/mse/MediaPlayerPrivateGStreamerMSE.cpp:
(WebCore::MediaPlayerPrivateGStreamerMSE::maxTimeSeekable):

Modified Paths

Diff

Modified: trunk/Source/WebCore/ChangeLog (207955 => 207956)


--- trunk/Source/WebCore/ChangeLog	2016-10-27 07:57:41 UTC (rev 207955)
+++ trunk/Source/WebCore/ChangeLog	2016-10-27 08:22:56 UTC (rev 207956)
@@ -1,3 +1,10 @@
+2016-10-27  Sergio Villar Senin  <svil...@igalia.com>
+
+        Unreviewed. Build fix for gcc.
+
+        * platform/graphics/gstreamer/mse/MediaPlayerPrivateGStreamerMSE.cpp:
+        (WebCore::MediaPlayerPrivateGStreamerMSE::maxTimeSeekable):
+
 2016-10-27  Youenn Fablet  <you...@apple.com>
 
         MediaPayload does not need to be refcounted

Modified: trunk/Source/WebCore/platform/graphics/gstreamer/mse/MediaPlayerPrivateGStreamerMSE.cpp (207955 => 207956)


--- trunk/Source/WebCore/platform/graphics/gstreamer/mse/MediaPlayerPrivateGStreamerMSE.cpp	2016-10-27 07:57:41 UTC (rev 207955)
+++ trunk/Source/WebCore/platform/graphics/gstreamer/mse/MediaPlayerPrivateGStreamerMSE.cpp	2016-10-27 08:22:56 UTC (rev 207956)
@@ -822,7 +822,7 @@
     GST_DEBUG("maxTimeSeekable");
     float result = durationMediaTime().toFloat();
     // Infinite duration means live stream.
-    if (isinf(result)) {
+    if (std::isinf(result)) {
         MediaTime maxBufferedTime = buffered()->maximumBufferedTime();
         // Return the highest end time reported by the buffered attribute.
         result = maxBufferedTime.isValid() ? maxBufferedTime.toFloat() : 0;
_______________________________________________
webkit-changes mailing list
webkit-changes@lists.webkit.org
https://lists.webkit.org/mailman/listinfo/webkit-changes

Reply via email to