[Webkit-unassigned] [Bug 71662] [GTK] media/event-attributes.html fails

[bugzilla-daemon at webkit.org]

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





--- Comment #10 from Philippe Normand <pnormand at igalia.com>  2012-04-10 06:26:31 PST ---
(In reply to comment #9)
> (In reply to comment #8)
> > Created an attachment (id=136439)
 --> (https://bugs.webkit.org/attachment.cgi?id=136439&action=review) [details] [details]
> > Patch
> 
> I'd be happy to get feedback on the Python part: I don't like my current approach too much, since relying on the _worker_number is a workaround to avoid different workers messing with each other (without that check, a worker could find itself running with the offending PulseAudio module just restored by another worker).
> 

Maybe it'd be better to extend Port's constructor to unload the module and __del__ to unload the module?

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