[Webkit-unassigned] [Bug 134109] Increase priority on SharedTimer source

[bugzilla-daemon at webkit.org]

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


Gustavo Noronha (kov) <gns at gnome.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
 Attachment #233434|review?, commit-queue?      |review+, commit-queue+
               Flag|                            |




--- Comment #3 from Gustavo Noronha (kov) <gns at gnome.org>  2014-06-27 08:19:13 PST ---
(From update of attachment 233434)
This would be a problem for webkit1, but is a proper fix for the webkit2 model IMO, since we do not compete with GTK+ mainloop sources anymore.

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