chiark / gitweb /
def: centralize definition of default timeout in one place