[Webkit-unassigned] [Bug 113512] [GStreamer] playback gets bumpy sometimes when on-disk buffering is slow

[bugzilla-daemon at webkit.org]

https://bugs.webkit.org/show_bug.cgi?id=113512


Martin Robinson <mrobinson at webkit.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
 Attachment #195589|review?                     |review+
               Flag|                            |




--- Comment #4 from Martin Robinson <mrobinson at webkit.org>  2013-03-28 10:43:06 PST ---
(From update of attachment 195589)
View in context: https://bugs.webkit.org/attachment.cgi?id=195589&action=review

> Source/WebCore/platform/graphics/gstreamer/MediaPlayerPrivateGStreamer.cpp:806
> +    if (!m_paused && (m_bufferingPercentage < 100)) {

You can probably dispense with the inner parenthesis here.

-- 
Configure bugmail: https://bugs.webkit.org/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the assignee for the bug.