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@srcf.ucam.org