* Andrew Lutomirski <luto@mit.edu> wrote:> But I'll make the option control just time() instead of all three.> That will also reduce the size of the patch :)Yes :-)Thanks, Ingo