[Webkit-unassigned] [Bug 109350] Resource leak related to gstreamer and videos

[bugzilla-daemon at webkit.org]

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





--- Comment #15 from Allan Sandfeld Jensen <allan.jensen at digia.com>  2013-05-17 09:43:30 PST ---
The resources are released by ~MediaPlayer, but that is not called until HTMLMediaElement is deleted, and HTMLMediaElement is a garbage collected element, which may not be garbaged collected immediately on exit, and possibly not triggered to be garbage collected unless the timer based sweeping garbage collector is implemented on the platform.

It could possibly be solved by triggering garbage collection on closing of webviews, but I feel the mediaplayer resources should have been released earlier. Perhaps when the render element is removed, and not when the DOM element is garbage collected.

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