[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 #9 from Simon Pena <spena at igalia.com>  2012-04-10 06:03:29 PST ---
(In reply to comment #8)
> Created an attachment (id=136439)
 --> (https://bugs.webkit.org/attachment.cgi?id=136439&action=review) [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).

dpranke, I'm CCing you since Phil mentioned you could point out how to improve that.

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