[Webkit-unassigned] [Bug 47020] [chromium] Fixing crash when audio media player is destructed

[bugzilla-daemon at webkit.org]

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


Victoria Kirst <vrk at google.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |RESOLVED
         Resolution|                            |FIXED




--- Comment #11 from Victoria Kirst <vrk at google.com>  2010-10-04 10:55:30 PST ---
(In reply to comment #10)
> If we expect this never to be the case, it's probably better to add an ASSERT() instead and watch for issues in the field.  We don't want to paper over real bugs 
if we don't understand how they might be happening.

Updated. Thanks for the review, James! Alpha committed this patch for me here:
http://trac.webkit.org/changeset/69022

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