K 10 svn:author V 3 des K 8 svn:date V 27 2004-06-21T14:49:22.000000Z K 7 svn:log V 72 Add a timeout after which tinderbox(1) will kill its children and exit. END