[Webkit-unassigned] [Bug 29496] [GTK] Sometimes crashes when a page is destroyed/loads another URL while playing video

[bugzilla-daemon at webkit.org]

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


Gustavo Noronha (kov) <gns at gnome.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
  Attachment #39789|                            |review?, commit-queue-
               Flag|                            |




--- Comment #2 from Gustavo Noronha (kov) <gns at gnome.org>  2009-09-18 14:49:30 PDT ---
Created an attachment (id=39789)
 --> (https://bugs.webkit.org/attachment.cgi?id=39789)
proposed fix

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.

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