travis-ci/travis-worker — pull request #39 by joshk (2012-08-21 09:38:11+00:00)
Title: More timeout fun

Improvements to the hard-timeout code as well as the message displayed in the logs.