[webkit-reviews] review requested: [Bug 86310] [GStreamer] media/media-continues-playing-after-replace-source.html fails : [Attachment 155487] Patch
bugzilla-daemon at webkit.org
bugzilla-daemon at webkit.org
Tue Jul 31 04:15:46 PDT 2012
Philippe Normand <pnormand at igalia.com> has asked for review:
Bug 86310: [GStreamer] media/media-continues-playing-after-replace-source.html
fails
https://bugs.webkit.org/show_bug.cgi?id=86310
Attachment 155487: Patch
https://bugs.webkit.org/attachment.cgi?id=155487&action=review
------- Additional Comments from Philippe Normand <pnormand at igalia.com>
Thanks Eric for the feedback. Unconditionally resetting the network and ready
states is indeed the right and simpler fix.
More information about the webkit-reviews
mailing list