On Mon, 2009-02-09 at 16:02 +0000, Ben Clifford wrote: > > > That would be me. I have to think about it. > > What do you want it for, out of interest? > Display a message if the walltime is missing. But I suppose that can be done earlier.