chiark / gitweb /
set event timeout to 60 sec and settle timeout to 120