[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 #13 from Martin Robinson <mrobinson at webkit.org>  2012-04-10 08:06:10 PST ---
(In reply to comment #10)

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

The constructor sound like a good idea, but doesn't __del__ fire at some random time depending on garbage collection?

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