[webkit-reviews] review granted: [Bug 113512] [GStreamer] playback gets bumpy sometimes when on-disk buffering is slow : [Attachment 195589] patch

[bugzilla-daemon at webkit.org]

Martin Robinson <mrobinson at webkit.org> has granted Philippe Normand
<pnormand at igalia.com>'s request for review:
Bug 113512: [GStreamer] playback gets bumpy sometimes when on-disk buffering is
slow
https://bugs.webkit.org/show_bug.cgi?id=113512

Attachment 195589: patch
https://bugs.webkit.org/attachment.cgi?id=195589&action=review

------- Additional Comments from Martin Robinson <mrobinson at webkit.org>
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.