[webkit-reviews] review requested: [Bug 29496] [GTK] Sometimes crashes when a page is destroyed/loads another URL while playing video : [Attachment 39789] proposed fix

[bugzilla-daemon at webkit.org]

Gustavo Noronha (kov) <gns at gnome.org> has asked  for review:
Bug 29496: [GTK] Sometimes crashes when a page is destroyed/loads another URL
while playing video
https://bugs.webkit.org/show_bug.cgi?id=29496

Attachment 39789: proposed fix
https://bugs.webkit.org/attachment.cgi?id=39789&action=review

------- Additional Comments from Gustavo Noronha (kov) <gns at gnome.org>
This is a bit hacky, but a real fix requires a bigger rework of the code that I
am unable to do right now. Since it's a crash, I'd rather plug it quickly, and
refactor the media player later.