On Thu, 19 Jul 2007, James Cameron wrote:

> I agree, let it be so.

Great. Also it would be great if the "time" command on the non-INL server 
could show seconds and not only minutes.

-- Niclas