On Mon, Oct 17, 2011 at 05:21:10PM +0200, Peter Zijlstra wrote: > Well what other cases are there? Can we enumerate them and come up > with similar solutions? Javascript has timers. We execute rather a lot of javascript from sources we can't influence at all. -- Matthew Garrett | mjg59@xxxxxxxxxxxxx -- To unsubscribe from this list: send the line "unsubscribe linux-api" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
