Changeset 83560 in webkit
- Timestamp:
- Apr 12, 2011 12:48:21 AM (13 years ago)
- Location:
- trunk/Source/WebCore
- Files:
-
- 2 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/Source/WebCore/ChangeLog
r83558 r83560 1 2011-04-11 Philippe Normand <pnormand@igalia.com> 2 3 Reviewed by Martin Robinson. 4 5 [GStreamer] warnings in media/video-set-rate-from-pause.html 6 https://bugs.webkit.org/show_bug.cgi?id=58220 7 8 * platform/graphics/gstreamer/MediaPlayerPrivateGStreamer.cpp: 9 (WebCore::MediaPlayerPrivateGStreamer::setRate): Pause the 10 pipeline if new rate is zero, like advised in the GStreamer 11 documentation of gst_event_new_seek(). 12 1 13 2011-04-11 Vangelis Kokkevis <vangelis@chromium.org> 2 14 -
trunk/Source/WebCore/platform/graphics/gstreamer/MediaPlayerPrivateGStreamer.cpp
r81234 r83560 705 705 m_playbackRate = rate; 706 706 m_changingRate = true; 707 708 if (!rate) { 709 gst_element_set_state(m_playBin, GST_STATE_PAUSED); 710 return; 711 } 712 707 713 float currentPosition = static_cast<float>(playbackPosition(m_playBin) * GST_SECOND); 708 714 GstSeekFlags flags = (GstSeekFlags)(GST_SEEK_FLAG_FLUSH); … … 711 717 712 718 LOG_VERBOSE(Media, "Set Rate to %f", rate); 713 if (rate > =0) {719 if (rate > 0) { 714 720 // Mute the sound if the playback rate is too extreme. 715 721 // TODO: in other cases we should perform pitch adjustments.
Note: See TracChangeset
for help on using the changeset viewer.