[Termtools] timeout

Aart Middeldorp Aart.Middeldorp at uibk.ac.at
Thu Oct 30 13:59:21 CET 2008


Johannes Waldmann wrote:

> OK, that calls for a formal vote:
> 
> what should be the timeout (for all categories, except complexity)
> 60 sec  or  120 sec ?  (no other options)

Why vote? This has been decided and reconfirmed in all meetings
I attended (although this may not be explicitly stated on the
termination portal): 60 seconds

-- Aart


More information about the Termtools mailing list