Changeset 195234 in webkit

Timestamp:

Jan 18, 2016, 11:22:07 AM (11 years ago)

Author:

commit-queue@webkit.org

Message:

[GStreamer] Remove unused m_endTime
​https://bugs.webkit.org/show_bug.cgi?id=153209

Patch by Olivier Blin <Olivier Blin> on 2016-01-18
Reviewed by Michael Catanzaro.

m_endTime has been unused since r47710 in MediaPlayerPrivateGStreamer.

No new tests since this is just a member cleanup.

• platform/graphics/gstreamer/MediaPlayerPrivateGStreamer.cpp:

(WebCore::MediaPlayerPrivateGStreamer::MediaPlayerPrivateGStreamer): Deleted.

• platform/graphics/gstreamer/MediaPlayerPrivateGStreamer.h:

Location:

trunk/Source/WebCore

Files:

• ChangeLog (modified) (1 diff)
• platform/graphics/gstreamer/MediaPlayerPrivateGStreamer.cpp (modified) (1 diff)
• platform/graphics/gstreamer/MediaPlayerPrivateGStreamer.h (modified) (1 diff)

trunk/Source/WebCore/ChangeLog

@@ +1 @@
+2016-01-18  Olivier Blin  <olivier.blin@softathome.com>
+
+        [GStreamer] Remove unused m_endTime
+        https://bugs.webkit.org/show_bug.cgi?id=153209
+
+        Reviewed by Michael Catanzaro.
+
+        m_endTime has been unused since r47710 in MediaPlayerPrivateGStreamer.
+
+        No new tests since this is just a member cleanup.
+
+        * platform/graphics/gstreamer/MediaPlayerPrivateGStreamer.cpp:
+        (WebCore::MediaPlayerPrivateGStreamer::MediaPlayerPrivateGStreamer): Deleted.
+        * platform/graphics/gstreamer/MediaPlayerPrivateGStreamer.h:
+
 2016-01-18  Csaba Osztrogonác  <ossy@webkit.org>
 

trunk/Source/WebCore/platform/graphics/gstreamer/MediaPlayerPrivateGStreamer.cpp

@@ -136 +136 @@
     , m_seekTime(0)
     , m_changingRate(false)
-    , m_endTime(numeric_limits<float>::infinity())
     , m_isEndReached(false)
     , m_isStreaming(false)

trunk/Source/WebCore/platform/graphics/gstreamer/MediaPlayerPrivateGStreamer.h

@@ -205 +205 @@
     float m_seekTime;
     bool m_changingRate;
-    float m_endTime;
     bool m_isEndReached;
     mutable bool m_isStreaming;