documentation for timedout()